jedd.order
Class Rev

java.lang.Object
  jedd.order.Rev

All Implemented Interfaces:

Order

public class Rev
extends java.lang.Object
implements Order

Reverses the bits in the ordering. This can be used, for example, to encode a physical domain with the MSB at the bottom of the BDD (the default is the MSB at the top of the BDD).

Constructor Summary

Rev(Order child)

Method Summary

java.util.List	listBits()
static java.util.List	reverse(java.util.List l)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Rev

public Rev(Order child)

Method Detail

listBits

public java.util.List listBits()

Specified by:

listBits in interface Order

reverse

public static java.util.List reverse(java.util.List l)