jedd.order
Class AsymInterleave

java.lang.Object
  jedd.order.AsymInterleave

All Implemented Interfaces:

Order

public class AsymInterleave
extends java.lang.Object
implements Order

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

Constructor Summary

AsymInterleave(java.util.List children, java.util.List counts)

AsymInterleave(Order o1, int k1)

AsymInterleave(Order o1, int k1, Order o2, int k2)

AsymInterleave(Order o1, int k1, Order o2, int k2, Order o3, int k3)

Method Summary

java.util.List

listBits()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AsymInterleave

public AsymInterleave(java.util.List children,
                      java.util.List counts)

AsymInterleave

public AsymInterleave(Order o1,
                      int k1)

AsymInterleave

public AsymInterleave(Order o1,
                      int k1,
                      Order o2,
                      int k2)

AsymInterleave

public AsymInterleave(Order o1,
                      int k1,
                      Order o2,
                      int k2,
                      Order o3,
                      int k3)

Method Detail

listBits

public java.util.List listBits()

Specified by:

listBits in interface Order