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