Package jedd.order

Interface Summary
Order Interface for a specification of the order in which the BDD variables of all the physical domains should appear in the BDD.
 

Class Summary
AsymInterleave Produces a BDD variable ordering in which the variables of the physical domains are interleaved, but asummetrically (taking k1 bits from one child, then k2 bits from the next child, etc.).
Interleave Produces a BDD variable ordering in which the variables of the physical domains are interleaved.
Permute Interleaves the BDD variables of a single physical domain with themselves.
Rev Reverses the bits in the ordering.
Seq Procudes a BDD variable ordering in which the bits of all the physical domains are placed sequentially, one physical domain after another.