| Modifier and Type | Field and Description |
|---|---|
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'.
|
| Modifier and Type | Method and Description |
|---|---|
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) |
protected int |
MicroFactory.apply_impl(int v1,
int v2,
BDDFactory.BDDOp opr) |
protected int |
UberMicroFactory.apply_impl(int v1,
int v2,
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.
|
BDD |
BDDFactoryIntImpl.IntBDD.apply(BDD that,
BDDFactory.BDDOp opr) |
BDD |
TypedBDDFactory.TypedBDD.apply(BDD that,
BDDFactory.BDDOp opr) |
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) |
protected int |
MicroFactory.applyAll_impl(int v1,
int v2,
BDDFactory.BDDOp opr,
int v3) |
protected int |
UberMicroFactory.applyAll_impl(int v1,
int v2,
BDDFactory.BDDOp opr,
int v3) |
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) |
BDD |
TypedBDDFactory.TypedBDD.applyAll(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) |
protected int |
MicroFactory.applyEx_impl(int v1,
int v2,
BDDFactory.BDDOp opr,
int v3) |
protected int |
UberMicroFactory.applyEx_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) |
BDD |
TypedBDDFactory.TypedBDD.applyEx(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) |
protected int |
MicroFactory.applyUni_impl(int v1,
int v2,
BDDFactory.BDDOp opr,
int v3) |
protected int |
UberMicroFactory.applyUni_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) |
BDD |
TypedBDDFactory.TypedBDD.applyUni(BDD that,
BDDFactory.BDDOp opr,
BDDVarSet var) |
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) |
BDD |
TypedBDDFactory.TypedBDD.applyWith(BDD that,
BDDFactory.BDDOp opr) |
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) |
Copyright © 2020. All rights reserved.