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