net.sf.javabdd
Class BDDFactory.ReorderMethod

java.lang.Object
  extended bynet.sf.javabdd.BDDFactory.ReorderMethod
Enclosing class:
BDDFactory

public static class BDDFactory.ReorderMethod
extends Object

Enumeration class for method reordering techniques. Use the static fields in BDDFactory to access the different reordering techniques.


Method Summary
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

toString

public String toString()


Copyright © 2003-2004 John Whaley. All Rights Reserved.