com.github.javabdd

Class TryVarOrder.BDDOperation

java.lang.Object

com.github.javabdd.TryVarOrder.BDDOperation

Enclosing class:

TryVarOrder

public static class TryVarOrder.BDDOperation
extends Object

Constructor Summary

Constructors

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

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

BDDOperation

public BDDOperation()

BDDOperation

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

Method Detail

setOp

public void setOp(int op)

setFilenames

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

setVarOrder

public void setVarOrder(boolean reverse,
                        String varOrderToTry)

load

public void load()
          throws IOException

Throws:

IOException

doIt

public long doIt()

free

public void free()