The methods of the ClabBDD class are listed below. For a complete list of ClabBDD class members, see the ClabBDD Members topic.
![]() | Compiles all expressions. |
![]() | Determines whether the specified Object is equal to the current 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. |
![]() | Gets the Type of the current instance. |
![]() | Gets the valid domains. |
![]() | Prints the specified list of BDDs. |
![]() | Sets the compile method. |
![]() | Returns a String that represents the current Object. |
![]() | Updates the result BDD with the results from an extre expression. |
![]() | 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. |
![]() | Updates the CLab status method. |
![]() | Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection. |
![]() | Creates a shallow copy of the current Object. |