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.