CLab# 1.0 API Documentation

BDDTypeRange Properties

The properties of the BDDTypeRange class are listed below. For a complete list of BDDTypeRange class members, see the BDDTypeRange 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.
StartOfRange Gets the start of the range.
TypeName (inherited from Type) Gets or sets the string representation of the name of the type.

See Also

BDDTypeRange Class | CLab.BDD Namespace