Uses of Class
com.github.javabdd.BDDFactory.BDDOp

Uses of BDDFactory.BDDOp in com.github.javabdd

Fields in com.github.javabdd declared as BDDFactory.BDDOp

Modifier and Type	Field	Description
static final BDDFactory.BDDOp	BDDFactory.and	Logical 'and'.
static final BDDFactory.BDDOp	BDDFactory.biimp	Logical 'bi-implication'.
static final BDDFactory.BDDOp	BDDFactory.diff	Set difference.
static final BDDFactory.BDDOp	BDDFactory.imp	Logical 'implication'.
static final BDDFactory.BDDOp	BDDFactory.invimp	Inverse implication.
static final BDDFactory.BDDOp	BDDFactory.less	Less than.
static final BDDFactory.BDDOp	BDDFactory.nand	Logical 'nand'.
static final BDDFactory.BDDOp	BDDFactory.nor	Logical 'nor'.
static final BDDFactory.BDDOp	BDDFactory.or	Logical 'or'.
static final BDDFactory.BDDOp	BDDFactory.xor	Logical 'xor'.

Methods in com.github.javabdd with parameters of type BDDFactory.BDDOp

Modifier and Type	Method	Description
abstract BDD	BDD.apply(BDD that, BDDFactory.BDDOp opr)	Returns the result of applying the binary operator opr to the two BDDs.
BDD	BDDFactoryIntImpl.IntBDD.apply(BDD that, BDDFactory.BDDOp opr)
protected abstract int	BDDFactoryIntImpl.apply_impl(int v1, int v2, BDDFactory.BDDOp opr)
protected int	JFactory.apply_impl(int v1, int v2, BDDFactory.BDDOp opr)
abstract BDD	BDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)	Applies the binary operator opr to two BDDs and then performs a universal quantification of the variables from the variable set var.
BDD	BDDFactoryIntImpl.IntBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
protected abstract int	BDDFactoryIntImpl.applyAll_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	JFactory.applyAll_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
abstract BDD	BDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)	Applies the binary operator opr to two BDDs and then performs an existential quantification of the variables from the variable set var.
BDD	BDDFactoryIntImpl.IntBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
protected abstract int	BDDFactoryIntImpl.applyEx_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	JFactory.applyEx_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
abstract BDD	BDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)	Applies the binary operator opr to two BDDs and then performs a unique quantification of the variables from the variable set var.
BDD	BDDFactoryIntImpl.IntBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
protected abstract int	BDDFactoryIntImpl.applyUni_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	JFactory.applyUni_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
abstract BDD	BDD.applyWith(BDD that, BDDFactory.BDDOp opr)	Makes this BDD be the result of the binary operator opr of two BDDs.
BDD	BDDFactoryIntImpl.IntBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
void	FindBestOrder.init(BDD b1, BDD b2, BDDVarSet dom, BDDFactory.BDDOp op)
void	TryVarOrder.init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op)	Initialize for a new trial.
BDDBitVector	BDDBitVector.map2(BDDBitVector that, BDDFactory.BDDOp op)