jedd.order
Class Seq
java.lang.Object
jedd.order.Seq
- All Implemented Interfaces:
- Order
public class Seq
- extends java.lang.Object
- implements Order
Procudes a BDD variable ordering in which the bits of all the
physical domains are placed sequentially, one physical domain
after another.
Constructor Summary |
Seq(java.util.List children)
|
Seq(Order o1)
|
Seq(Order o1,
Order o2)
|
Seq(Order o1,
Order o2,
Order o3)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31,
Order o32)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31,
Order o32,
Order o33)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31,
Order o32,
Order o33,
Order o34)
|
Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31,
Order o32,
Order o33,
Order o34,
Order o35)
|
Method Summary |
java.util.List |
listBits()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Seq
public Seq(java.util.List children)
Seq
public Seq(Order o1)
Seq
public Seq(Order o1,
Order o2)
Seq
public Seq(Order o1,
Order o2,
Order o3)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31,
Order o32)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31,
Order o32,
Order o33)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31,
Order o32,
Order o33,
Order o34)
Seq
public Seq(Order o1,
Order o2,
Order o3,
Order o4,
Order o5,
Order o6,
Order o7,
Order o8,
Order o9,
Order o10,
Order o11,
Order o12,
Order o13,
Order o14,
Order o15,
Order o16,
Order o17,
Order o18,
Order o19,
Order o20,
Order o21,
Order o22,
Order o23,
Order o24,
Order o25,
Order o26,
Order o27,
Order o28,
Order o29,
Order o30,
Order o31,
Order o32,
Order o33,
Order o34,
Order o35)
listBits
public java.util.List listBits()
- Specified by:
listBits
in interface Order