| Package | Description |
|---|---|
| sdd | |
| sdd.ope |
| Modifier and Type | Method and Description |
|---|---|
static SDDTree |
SDDTrees.and(SDDTree tr1,
SDDTree tr2,
SDDMemory mem)
Computes the conjunction of the two specified SDD trees.
|
static SDDTree |
SDDTrees.ban_and(SDDTree tr1,
SDDTree tr2,
SDDMemory mem)
Computes the conjunction of the two specified SDD trees.
|
static SDDTree |
SDDTrees.ban_exists(SDDTree sdd,
Variable var,
SDDMemory mem,
VtreePath path)
Computes the result of the exists operation on the specified sdd
for the specified variable.
|
static SDDTree |
SDDTrees.ban_forall(SDDTree sdd,
Variable var,
SDDMemory mem,
VtreePath path)
Computes the result of the forall operation on the specified sdd
for the specified variable.
|
static SDDTree |
SDDTrees.ban_not(SDDTree sdd,
SDDMemory mem)
Computes the negation of the specified SDD tree.
|
static SDDTree |
SDDTrees.ban_or(SDDTree tr1,
SDDTree tr2,
SDDMemory mem)
Computes the disjunction of the two specified SDD trees.
|
static SDDTree |
SDDTrees.buildSimpleSDDNode(SDDTree prime,
SDDTree sub,
SDDMemory mem) |
static SDDTree |
SDDTrees.exists(SDDTree sdd,
Variable var,
SDDMemory mem,
VtreePath path)
Computes the result of the exists operation on the specified sdd
for the specified variable.
|
static SDDTree |
SDDTrees.forall(SDDTree sdd,
Variable var,
SDDMemory mem,
VtreePath path)
Computes the result of the forall operation on the specified sdd
for the specified variable.
|
static SDDTree |
SDDTrees.not(SDDTree sdd,
SDDMemory mem)
Computes the negation of the specified SDD tree.
|
static SDDTree |
SDDTrees.or(SDDTree tr1,
SDDTree tr2,
SDDMemory mem)
Computes the disjunction of the two specified SDD trees.
|
| Constructor and Description |
|---|
SDDTreeDisjunctionConstructor(SDDMemory mem)
Starts a constructor that uses the specified SDD Memory.
|
| Modifier and Type | Method and Description |
|---|---|
SDDTree |
ChildrenOperation.applyToSDD(SDDTree sdd,
SDDMemory mem) |
SDDTree |
ConsecutiveOperations.applyToSDD(SDDTree sdd,
SDDMemory mem) |
SDDTree |
Identity.applyToSDD(SDDTree sdd,
SDDMemory mem) |
SDDTree |
LeftRotation.applyToSDD(SDDTree sdd,
SDDMemory mem) |
SDDTree |
RightRotation.applyToSDD(SDDTree sdd,
SDDMemory mem) |
SDDTree |
Swap.applyToSDD(SDDTree sdd,
SDDMemory mem) |
SDDTree |
VtreeOperation.applyToSDD(SDDTree sdd,
SDDMemory mem)
Computes the SDD tree (associated with the vtree on which this operation is applied)
that are equivalent to the specified SDD tree defined for the specified vtree.
|
static SDDTree |
LeftRotation.leftRotation(SDDTree sdd,
SDDMemory mem,
VtreePath path)
Applies the left rotation operation on the specified SDD tree
at the leaf of the specified path.
|
static SDDTree |
LeftRotation.leftRotationOnCurrentNode(SDDMemory mem,
SDDTreeDisjunction sdd)
Applies the left rotation operation on the specified SDD tree
at the current node.
|
static SDDTree |
RightRotation.rightRotation(SDDTree sdd,
SDDMemory mem,
VtreePath path)
Applies the right rotation operation on the specified SDD tree
at the leaf of the specified path.
|
static SDDTree |
RightRotation.rightRotationOnCurrentNode(SDDMemory mem,
SDDTreeDisjunction sdd)
Applies the right rotation operation on the specified SDD tree
at the current node.
|
static SDDTree |
RightRotation.rightRotationOnCurrentNode2(SDDMemory mem,
SDDTreeDisjunction sdd) |
static SDDTree |
Swap.swapVnodeOnCurrentNode(SDDMemory mem,
SDDTreeDisjunction sdd)
Applies the swap operation on the specified SDD tree
at the current node.
|