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. |