jedd.order
Class Interleave

java.lang.Object
  jedd.order.Interleave

All Implemented Interfaces:

Order

public class Interleave
extends java.lang.Object
implements Order

Produces a BDD variable ordering in which the variables of the physical domains are interleaved.

Constructor Summary

Interleave(java.util.List children)

Interleave(Order o1)

Interleave(Order o1, Order o2)

Interleave(Order o1, Order o2, Order o3)

Interleave(Order o1, Order o2, Order o3, Order o4)

Interleave(Order o1, Order o2, Order o3, Order o4, Order o5)

Interleave(Order o1, Order o2, Order o3, Order o4, Order o5, Order o6)

Interleave(Order o1, Order o2, Order o3, Order o4, Order o5, Order o6, Order o7)

Interleave(Order o1, Order o2, Order o3, Order o4, Order o5, Order o6, Order o7, Order o8)

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

Interleave

public Interleave(java.util.List children)

Interleave

public Interleave(Order o1)

Interleave

public Interleave(Order o1,
                  Order o2)

Interleave

public Interleave(Order o1,
                  Order o2,
                  Order o3)

Interleave

public Interleave(Order o1,
                  Order o2,
                  Order o3,
                  Order o4)

Interleave

public Interleave(Order o1,
                  Order o2,
                  Order o3,
                  Order o4,
                  Order o5)

Interleave

public Interleave(Order o1,
                  Order o2,
                  Order o3,
                  Order o4,
                  Order o5,
                  Order o6)

Interleave

public Interleave(Order o1,
                  Order o2,
                  Order o3,
                  Order o4,
                  Order o5,
                  Order o6,
                  Order o7)

Interleave

public Interleave(Order o1,
                  Order o2,
                  Order o3,
                  Order o4,
                  Order o5,
                  Order o6,
                  Order o7,
                  Order o8)

Method Detail

listBits

public java.util.List listBits()

Specified by:

listBits in interface Order