CLab# 1.0 API Documentation

BDDTypeEnum Properties

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

Public Instance Properties

BDDvarNum (inherited from BDDType) Gets or sets the BDD variable number.
DomainSize (inherited from BDDType) Gets or sets the size of the domain.
IndexToValue Gets the list mapping index to value.
TypeName (inherited from Type) Gets or sets the string representation of the name of the type.
ValueToIndex Gets the hashtable mapping value to index.

See Also

BDDTypeEnum Class | CLab.BDD Namespace