jedd.order
Class Permute

java.lang.Object
  jedd.order.Permute

All Implemented Interfaces:

Order

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

Permute

public Permute(int period,
               Order child)

Method Detail

listBits

public java.util.List listBits()

Specified by:

listBits in interface Order