The properties of the BDDSpace class are listed below. For a complete list of BDDSpace class members, see the BDDSpace Members topic.
![]() | Gets the BDD representation of the CSP problem before the expressions is compiled in. |
![]() | Gets the unsatisfiable rule, if one exist. |