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 |
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)
listBits
public java.util.List listBits()
- Specified by:
listBits
in interface Order