Class Permute

  extended by jedd.order.Permute
All Implemented Interfaces:

public class Permute
extends java.lang.Object
implements Order

Interleaves the BDD variables of a single physical domain with themselves. The period specifies the difference between successive bits in the ordering. For example, if the physical domain has 20 bits and the period is set to 5, the ordering will be: 0, 5, 10, 15, 1, 6, 11, 16, 2, 7, 12, 17, 3, 8, 13, 18, 4, 9, 14, 19.

Constructor Summary
Permute(int period, Order child)
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


public Permute(int period,
               Order child)
Method Detail


public java.util.List listBits()
Specified by:
listBits in interface Order