- add(SDDTree, SDDTree) - Method in class sdd.SDDTreeDisjunctionConstructor
-
Adds the specified disjunction element to the constructor.
- add(X) - Method in class sdd.Singleton
-
- addAll(Collection<? extends X>) - Method in class sdd.Singleton
-
- addAnd(SDDTreeDisjunction, SDDTreeDisjunction, SDDTree) - Method in class sdd.SDDMemory
-
Stores the specified result of the conjunction of the two specified SDDTree.
- addEdgeOption(String, String) - Method in class util.DotStream
-
Adds an option to the next edge.
- addExists(SDDTreeDisjunction, SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Stores the specified result of the existence operation on the specified SDDTree.
- addForall(SDDTreeDisjunction, SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Stores the specified result of the universal operation on the specified SDDTree.
- addNodeOption(String, String) - Method in class util.DotStream
-
Adds an option to the next node.
- addNot(SDDTreeDisjunction, SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Stores the specified result of the negation of the specified SDDTree.
- addOr(SDDTreeDisjunction, SDDTreeDisjunction, SDDTree) - Method in class sdd.SDDMemory
-
Stores the specified result of the disjunction of the two specified SDDTree.
- addTree(SDDTreeDisjunction, SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Stores the specified result of the tree-based operation on the specified SDDTree.
- addVariables(Set<Variable>) - Method in class sdd.Vtree
-
Adds the variables in this vtree to the specified set.
- addVariables(Set<Variable>) - Method in class sdd.VtreeLeaf
-
- addVariables(Set<Variable>) - Method in class sdd.VtreeNode
-
- allPairs(List<? extends O>) - Static method in class util.Pair
-
Returns the list of pairs of elements in the specified list,
excluding the identical pairs and the reversed pairs.
- and(SDD) - Method in class sdd.SDD
-
Returns the SDD corresponding to the AND operation
between this SDD and the specified SDD.
- and(SDDTreeDisjunction, SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Returns the result of the AND operation
between the two specified SDDTreeDisjunction
if this result is known, null otherwise.
- and(SDDTree, SDDTree, SDDMemory) - Static method in class sdd.SDDTrees
-
Computes the conjunction of the two specified SDD trees.
- apply(Vtree) - Method in class sdd.ope.ChildrenOperation
-
- apply(Vtree) - Method in class sdd.ope.ConsecutiveOperations
-
- apply(Vtree) - Method in class sdd.ope.Identity
-
- apply(Vtree) - Method in class sdd.ope.LeftRotation
-
- apply(Vtree) - Method in class sdd.ope.RightRotation
-
- apply(Vtree) - Method in class sdd.ope.Swap
-
- apply(Vtree) - Method in interface sdd.ope.VtreeOperation
-
Computes the new vtree after application of this operation
on the specified vtree.
- apply(VtreeOperation, SDD) - Static method in class sdd.ope.VtreeOperations
-
Performs the specified vtree operation on the specified sdd.
- apply(SDDFunction<X>) - Method in class sdd.SDD
-
Applies the specified SDD function on this SDD.
- apply(SDDFunction<X>, Vtree, Map<SDDTree, X>) - Method in class sdd.SDDConstant
-
- apply(SDDFunction<X>, Vtree, Map<SDDTree, X>) - Method in class sdd.SDDTree
-
Applies the specified function on this SDD tree.
- apply(SDDFunction<X>, Vtree, Map<SDDTree, X>) - Method in class sdd.SDDTreeDisjunction
-
- apply(SDDFunction<X>, Vtree, Map<SDDTree, X>) - Method in class sdd.SDDVariable
-
- applyChildren(OptimisationReport, OptimisationReport, OptimisationProblem) - Static method in class sdd.opt.OptimisationReport
-
Computes the optimisation report corresponding to the application
of the specified optimisation reports on the children of the current vtree.
- applyIterative(OptimisationReport, OptimisationReport) - Static method in class sdd.opt.OptimisationReport
-
- applyToSDD(SDDTree, SDDMemory) - Method in class sdd.ope.ChildrenOperation
-
- applyToSDD(SDDTree, SDDMemory) - Method in class sdd.ope.ConsecutiveOperations
-
- applyToSDD(SDDTree, SDDMemory) - Method in class sdd.ope.Identity
-
- applyToSDD(SDDTree, SDDMemory) - Method in class sdd.ope.LeftRotation
-
- applyToSDD(SDDTree, SDDMemory) - Method in class sdd.ope.RightRotation
-
- applyToSDD(SDDTree, SDDMemory) - Method in class sdd.ope.Swap
-
- applyToSDD(SDDTree, SDDMemory) - Method in interface sdd.ope.VtreeOperation
-
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.
- assignedVariables() - Method in class sdd.Assignment
-
Returns the list of assigned variables.
- Assignment - Class in sdd
-
An assignment is a function that associates a Boolean to some variables.
- Assignment(Variable, boolean) - Constructor for class sdd.Assignment
-
Creates the assignment that associates the specified value
to the specified variable.
- Assignment(Map<Variable, Boolean>) - Constructor for class sdd.Assignment
-
Creates the assignment corresponding to the specified mapping.
- Assignment() - Constructor for class sdd.Assignment
-
Creates an empty assignment.
- Assignment(Assignment, Variable, boolean) - Constructor for class sdd.Assignment
-
Creates an assignment corresponding to adding to the specified assignment
to assignment of the specified variable to the specified value.
- Assignment(Assignment, Assignment) - Constructor for class sdd.Assignment
-
Creates an assignment corresponding
to the union of the two specified assignments.
- assignment(Variable) - Method in class sdd.Assignment
-
Returns the boolean assignment of the specified variable.