BDDFactory.ReorderMethod (com.github.javabdd 2.0.0 API)

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
  
  All Methods Instance Methods Concrete Methods
  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 Detail
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object