The properties of the BDDLayout class are listed below. For a complete list of BDDLayout class members, see the BDDLayout Members topic.
![]() | Gets the number of BDD variables. |
![]() | Gets the the list of types used by layout. |
![]() | Gets the variables used by layout. |
![]() | Gets the hash table mapping type names to index. |
![]() | Gets the hash table mapping variable names to index. |