CLab# 1.0 API Documentation

BDDType Properties

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

Public Instance Properties

BDDvarNum Gets or sets the BDD variable number.
DomainSize Gets or sets the size of the domain.
TypeName (inherited from Type) Gets or sets the string representation of the name of the type.

See Also

BDDType Class | CLab.BDD Namespace