CLab# 1.0 API Documentation

BDDLayout Properties

The properties of the BDDLayout class are listed below. For a complete list of BDDLayout class members, see the BDDLayout Members topic.

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.

See Also

BDDLayout Class | CLab.BDD Namespace