CLab# 1.0 API Documentation

BDDSpace Properties

The properties of the BDDSpace class are listed below. For a complete list of BDDSpace class members, see the BDDSpace Members topic.

Public Instance Properties

LayoutBdd Gets the BDD representation of the CSP problem before the expressions is compiled in.
UnsatisfiableRule Gets the unsatisfiable rule, if one exist.

See Also

BDDSpace Class | CLab.BDD Namespace