| Package | Description |
|---|---|
| buffer | |
| sdd | |
| sdd.opt |
| Modifier and Type | Method and Description |
|---|---|
protected abstract <K extends CanonicalWatched> |
CanonicalWatched.getBuffer()
Returns the buffer that is used to decide the canonical objects.
|
protected <K extends CanonicalWatched> |
CanonicalWatched.getCanonical()
Returns the canonical version of this object.
|
<K extends CanonicalWatched> |
CanonicalWatched.unwatch()
Notifies this object that an external component no longer uses this object.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
CanonicalWatched.unwatchAll(java.util.Collection<? extends CanonicalWatched> coll)
Unwatches all the elements in the specified collection
of canonical watched objects.
|
| Modifier and Type | Class and Description |
|---|---|
class |
SDD
An SDD is defined by a SDD tree and the vtree upon which the SDD tree is defined.
|
class |
SDDConstant
An SDD Constant is an SDD Tree that represents a boolean constant,
i.e., either true or false.
|
class |
SDDTree
An SDD tree is a node of the SDD (but not the conjunction).
|
class |
SDDTreeConjunction
A
SDDTreeConjunction, i.e., an SDD Tree Conjunction,
aka a decomposition element, is a pair of SDDs defined as a conjunction
and that are defined on two different (non overlapping) sets of variables. |
class |
SDDTreeDisjunction
A
SDDTreeDisjunction, i.e., an SDD tree disjunction,
aka a decomposition, is a set of
disjunction elements,
where the primes of the elements form a partition of their respective variables
(their pair-wise conjunction logically evaluates to false,
their disjunction evaluates to true) and the subs are all different. |
class |
SDDVariable
An SDD Variable is an SDD Tree which depends only on the value of a variable.
|
class |
Vtree
A
Vtree, i.e., a vtree,
is a binary (sub)tree that supports a SDD. |
class |
VtreeLeaf
A
VtreeLeaf, i.e., a (vtree) leaf,
is a tree that contains a single variable. |
class |
VtreeNode
A
VtreeNode, i.e., a vtree node,
is a binary node in a vtree. |
| Modifier and Type | Method and Description |
|---|---|
void |
SDDConstant.insertSubSDDTrees(java.util.Set<CanonicalWatched> set) |
abstract void |
SDDTree.insertSubSDDTrees(java.util.Set<CanonicalWatched> set)
Adds all the sub SDD trees (including this one) of this SDD tree to the specified set.
|
void |
SDDTreeDisjunction.insertSubSDDTrees(java.util.Set<CanonicalWatched> set) |
void |
SDDVariable.insertSubSDDTrees(java.util.Set<CanonicalWatched> set) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<CanonicalWatched> |
ExplicitOptimisationProblem.getSubnodes() |
java.util.Set<CanonicalWatched> |
OptimisationProblem.getSubnodes() |
| Modifier and Type | Method and Description |
|---|---|
static OptimisationReport |
OptimisationReport.optimisationChange(java.util.Map<SDDTree,SDDTree> replacementMap,
java.util.Set<CanonicalWatched> subnodes,
Vtree tree,
java.util.Collection<SDDTree> newSDDs) |