TryVarOrder.BDDOperation (com.github.javabdd 1.0.0 API)

public static class TryVarOrder.BDDOperation
extends Object

Constructors
Constructor and Description
`BDDOperation()`
`BDDOperation(int op, String f1, String f2, String f3)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`long`	`doIt()`
`void`	`free()`
`void`	`load()`
`void`	`setFilenames(String f1, String f2, String f3)`
`void`	`setOp(int op)`
`void`	`setVarOrder(boolean reverse, String varOrderToTry)`

public BDDOperation(int op,
                    String f1,
                    String f2,
                    String f3)

public void setFilenames(String f1,
                         String f2,
                         String f3)

public void setVarOrder(boolean reverse,
                        String varOrderToTry)

public void load()
          throws IOException

Class TryVarOrder.BDDOperation