Public Instance Constructors
BDDSpace Constructor
|
Initializes a new instance of the "BDDSpace" class. |
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. |
Public Instance Methods
| Abs | Calculates the absolute value of a 2-complementary BDD representation. |
| Add | Calculates the result of the Add operation between two 2-complementary BDD representations. |
| Bool2Integer | Converts the specified BDD "x" to a 2-complementary BDD representation. |
| Compile | Compiles the specified expression. |
| CompileRules | Tries to compile all rules defined in the problem file. Each expression is compiled to a BDD. Afterwards the BDDs are and'ed together, depending on which ordering is chosen. The order of the compilation can be set three different ways: Static: In the same order the expressions are written in the problem. Ascending: The order depends on the node count of each expression. Smallest node count is and'ed with the result BDD first. Dynamic: The two smallest BDDs are and'ed, and the result is placed back in the queue. This is continued until we have only one element left in the queue, which is the final result BDD. |
| Div | Calculates the result of the division operation between two 2-complementary BDD representations. |
| Equal | Calculates a BDD representing the equal operation on two 2-complementary BDD representations. |
| Equals (inherited from Object) | Determines whether the specified Object is equal to the current Object. |
| Expr2BddVec | Compiles a expression into a "Bval" object. |
| Extend | Extends the specified "x" with "k" elements. |
| 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. |
| Integer2Bool | Converts the specified 2-complementary BDD represantation "x" to a BDD. |
| LessThan | Calculates a BDD representing the less-than operation on two 2-complementary BDD representations. |
| MkSameSize | Extends the smallest of the specified "x" or "y", so the lists gets equal length. Modifies one of them, if they have unequal lenght. |
| MkVal | Makes a 2-complementary BDD representation of an integer value. |
| MkVar | Makes a 2-complementary BDD representation of the boolan vector representing the bdd variable. |
| Mod | Calculates the result of the modulo operation between two 2-complementary BDD representations. |
| Mul | Calculates the result of the multiplication operation between two 2-complementary BDD representations. |
| Neg | Negates the specified 2-complentary BDD representation "x". |
| ShiftLeft | Shifts each bit "shiftAmount" positions to the left. |
| ToString (inherited from Object) | Returns a String that represents the current Object. |
| Truncate | Truncates the specified x. |
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. |