Package com.github.javabdd

Class BDDFactory.ReorderMethod

java.lang.Object

com.github.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

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Method Details

toString

public String toString()

Overrides:

toString in class Object