Public Instance Constructors
ClabBDD Constructor
|
Initializes a new instance of the "ClabBDD" class. |
Public Instance Properties
 Layout | Gets the "BDDLayout" of the problem. |
| Space | Gets the "BDDSpace" of the problem. |
| UnsatisfiableRule | Gets the unsatisfiable rule if one exist. |
Public Instance Methods
| CompileAllExpressions | Compiles all expressions. |
| Equals (inherited from Object) | Determines whether the specified Object is equal to the current Object. |
| GetHashCode (inherited from Object) | Serves as a hash function for a particular type. GetHashCode is suitable for use in hashing algorithms and data structures like a hash table. |
| GetType (inherited from Object) | Gets the Type of the current instance. |
| GetValidDomains | Gets the valid domains. |
| printout | Prints the specified list of BDDs. |
| SetCompileMethod | Sets the compile method. |
| ToString (inherited from Object) | Returns a String that represents the current Object. |
| UpdateResultBddExpr | Updates the result BDD with the results from an extre expression. |
| UpdateResultBDDUserChoice | Updates the result BDD with a user chosen variable and domain value. Makes an expression out of the variable and value, and ands it with the old result BDD. |
| UpdateStatus | Updates the CLab status method. |
Protected Instance Methods
 Finalize (inherited from Object) | Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection. |
| MemberwiseClone (inherited from Object) | Creates a shallow copy of the current Object. |