Uses of Class
buffer.CanonicalWatched

Packages that use CanonicalWatched

Package	Description
buffer
sdd
sdd.opt

Uses of CanonicalWatched in buffer

Methods in buffer with type parameters of type CanonicalWatched

Modifier and Type	Method and Description
protected abstract <K extends CanonicalWatched> java.util.Map<java.lang.Object,K>	CanonicalWatched.getBuffer() Returns the buffer that is used to decide the canonical objects.
protected <K extends CanonicalWatched> K	CanonicalWatched.getCanonical() Returns the canonical version of this object.
<K extends CanonicalWatched> void	CanonicalWatched.unwatch() Notifies this object that an external component no longer uses this object.

Method parameters in buffer with type arguments of type CanonicalWatched

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.

Uses of CanonicalWatched in sdd

Subclasses of CanonicalWatched in sdd

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.

Method parameters in sdd with type arguments of type CanonicalWatched

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)

Uses of CanonicalWatched in sdd.opt

Methods in sdd.opt that return types with arguments of type CanonicalWatched

Modifier and Type	Method and Description
java.util.Set<CanonicalWatched>	ExplicitOptimisationProblem.getSubnodes()
java.util.Set<CanonicalWatched>	OptimisationProblem.getSubnodes()

Method parameters in sdd.opt with type arguments of type CanonicalWatched

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)