Uses of Class
net.sf.javabdd.BDDFactory.BDDOp

Uses of BDDFactory.BDDOp in net.sf.javabdd

Fields in net.sf.javabdd declared as BDDFactory.BDDOp

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

Methods in net.sf.javabdd with parameters of type BDDFactory.BDDOp

protected int	UberMicroFactory.apply_impl(int v1, int v2, BDDFactory.BDDOp opr)
protected int	MicroFactory.apply_impl(int v1, int v2, BDDFactory.BDDOp opr)
protected int	JFactory.apply_impl(int v1, int v2, BDDFactory.BDDOp opr)
protected int	JDDFactory.apply_impl(int x, int y, BDDFactory.BDDOp opr)
protected int	BuDDyFactory.apply_impl(int v1, int v2, BDDFactory.BDDOp opr)
protected abstract int	BDDFactoryIntImpl.apply_impl(int v1, int v2, BDDFactory.BDDOp opr)
BDD	TypedBDDFactory.TypedBDD.apply(BDD that, BDDFactory.BDDOp opr)
BDD	BDDFactoryIntImpl.IntBDD.apply(BDD that, BDDFactory.BDDOp opr)
abstract BDD	BDD.apply(BDD that, BDDFactory.BDDOp opr) Returns the result of applying the binary operator opr to the two BDDs.
protected int	UberMicroFactory.applyAll_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	MicroFactory.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)
protected int	JDDFactory.applyAll_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	BuDDyFactory.applyAll_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected abstract int	BDDFactoryIntImpl.applyAll_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
BDD	TypedBDDFactory.TypedBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
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.
protected int	UberMicroFactory.applyEx_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	MicroFactory.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)
protected int	JDDFactory.applyEx_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	BuDDyFactory.applyEx_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected abstract int	BDDFactoryIntImpl.applyEx_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
BDD	TypedBDDFactory.TypedBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
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.
protected int	UberMicroFactory.applyUni_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	MicroFactory.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)
protected int	JDDFactory.applyUni_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected int	BuDDyFactory.applyUni_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
protected abstract int	BDDFactoryIntImpl.applyUni_impl(int v1, int v2, BDDFactory.BDDOp opr, int v3)
BDD	TypedBDDFactory.TypedBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
BDD	BDDFactoryIntImpl.IntBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDDVarSet var)
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	TypedBDDFactory.TypedBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
BDD	BDDFactoryIntImpl.IntBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
abstract BDD	BDD.applyWith(BDD that, BDDFactory.BDDOp opr) Makes this BDD be the result of the binary operator opr of two BDDs.
void	TryVarOrder.init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op) Initialize for a new trial.
void	FindBestOrder.init(BDD b1, BDD b2, BDDVarSet dom, BDDFactory.BDDOp op)
BDDBitVector	BDDBitVector.map2(BDDBitVector that, BDDFactory.BDDOp op)