- saveToDot(DotStream, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, NameGenerator) - Method in class sdd.SDDConstant
-
- saveToDot(DotStream, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, NameGenerator) - Method in class sdd.SDDTree
-
Prints a dot representation of this SDD tree in the specified string builder
given the specified names for SDDTrees and SDDTreeConjunction,
as well as a counter to create more names.
- saveToDot(DotStream, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, NameGenerator) - Method in class sdd.SDDTreeConjunction
-
Prints a dot representation of this tree conjunction in the specified string builder
given the specified names for SDDTrees and SDDTreeConjunction,
as well as a counter to create more names.
- saveToDot(DotStream, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, NameGenerator) - Method in class sdd.SDDTreeDisjunction
-
- saveToDot(DotStream, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, NameGenerator) - Method in class sdd.SDDVariable
-
- saveToString(StringBuilder, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, int) - Method in class sdd.SDDConstant
-
- saveToString(StringBuilder, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, int) - Method in class sdd.SDDTree
-
Prints a string representation of this SDD tree in the specified string builder,
given the specified names for SDDTrees and SDDTreeConjunction,
as well as a counter to create more names.
- saveToString(StringBuilder, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, int) - Method in class sdd.SDDTreeConjunction
-
Prints a string representation of this tree conjunction in the specified string builder,
given the specified names for SDDTrees and SDDTreeConjunction,
as well as a counter to create more names.
- saveToString(StringBuilder, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, int) - Method in class sdd.SDDTreeDisjunction
-
- saveToString(StringBuilder, Map<SDDTree, String>, Map<SDDTreeConjunction, String>, int) - Method in class sdd.SDDVariable
-
- sdd - package sdd
-
- SDD - Class in sdd
-
An SDD is defined by a SDD tree and the vtree upon which the SDD tree is defined.
- sdd.ope - package sdd.ope
-
- sdd.opt - package sdd.opt
-
- SDDConstant - Class in sdd
-
An SDD Constant is an SDD Tree that represents a boolean constant,
i.e., either true or false.
- SDDFunction<X> - Interface in sdd
-
An SDD function is a deterministic function
that associates a variable to an SDD
and that is defined recursively from the structure of the SDD.
- SDDMemory - Class in sdd
-
An SDD memory is an object that remembers the computed SDDTree,
i.e., the results of the and, or, not,
exists, forall, and tree-based (e.g., left rotation) operations.
- SDDMemory() - Constructor for class sdd.SDDMemory
-
Creates an empty memory.
- SDDProbabilityFunction - Class in sdd
-
An SDD probability function computes the probability
of an SDD given an a priori (independent) probability distribution
on the variables.
- SDDProbabilityFunction(Map<Variable, Double>) - Constructor for class sdd.SDDProbabilityFunction
-
Creates an SDD probability function
with the specified a priori probability distribution.
- SDDTree - Class in sdd
-
An SDD tree is a node of the SDD (but not the conjunction).
- SDDTree() - Constructor for class sdd.SDDTree
-
- SDDTreeConjunction - Class in sdd
-
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.
- SDDTreeDisjunction - Class in sdd
-
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.
- SDDTreeDisjunctionConstructor - Class in sdd
-
A SDDTreeDisjunctionConstructor,
i.e., an SDD Tree Disjunction constructor,
is an object in charge of building an SDD Tree Disjunction.
- SDDTreeDisjunctionConstructor(SDDMemory) - Constructor for class sdd.SDDTreeDisjunctionConstructor
-
Starts a constructor that uses the specified SDD Memory.
- SDDTrees - Class in sdd
-
The static methods for SDDTree.
- SDDTrees() - Constructor for class sdd.SDDTrees
-
- SDDVariable - Class in sdd
-
An SDD Variable is an SDD Tree which depends only on the value of a variable.
- second() - Method in class util.Pair
-
Access to the second element of this pair.
- setFirst(C1) - Method in class util.Pair
-
Changes the first element of the pair.
- setName(String) - Method in class sdd.Variable
-
Sets the name of this variable.
- setSecond(C2) - Method in class util.Pair
-
Changes the second element of the pair.
- Singleton<X> - Class in sdd
-
A Singleton, i.e., a singleton,
is an unmodifiable set that contains only one element.
- Singleton(X) - Constructor for class sdd.Singleton
-
Builds the singleton that contains the specified element.
- size() - Method in class sdd.opt.ExplicitOptimisationProblem
-
- size() - Method in interface sdd.opt.OptimisationProblem
-
- size() - Method in class sdd.opt.OptimisationReport
-
- size() - Method in class sdd.SDD
-
Returns the number of nodes used to represent this SDD.
- size() - Method in class sdd.Singleton
-
- Swap - Class in sdd.ope
-
The operation that implements a swap,
i.e., such that a vtree of form (A,B) is transformed into a vtree of form (B,A).
- Swap() - Constructor for class sdd.ope.Swap
-
- swapVnodeOnCurrentNode(SDDMemory, SDDTreeDisjunction) - Static method in class sdd.ope.Swap
-
Applies the swap operation on the specified SDD tree
at the current node.
- swapVnodeOnRoot() - Method in class sdd.SDD
-
Performs a swap operation on the root of this SDD.