Public Instance Constructors
BDDLayout Constructor
|
Initializes a new instance of the "BDDLayout" class. |
Public Instance Properties
 BddVarNum | Gets the number of BDD variables. |
| LayoutTypes | Gets the the list of types used by layout. |
| LayoutVariables | Gets the variables used by layout. |
| TypeNameToIndex | Gets the hash table mapping type names to index. |
| VariableNameToIndex | Gets the hash table mapping variable names to index. |
Public Instance Methods
| BooleanVector | Makes boolean vectors of variables. |
| 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. |
| ToString | Returns a "System.String"> that represents the current "CLab.BDD.BDDLayout". |
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. |