The properties of the BDDType class are listed below. For a complete list of BDDType class members, see the BDDType Members topic.
![]() | Gets or sets the BDD variable number. |
![]() | Gets or sets the size of the domain. |
![]() | Gets or sets the string representation of the name of the type. |