- CanonicalWatched - Class in buffer
-
A CanonicalWatched, i.e., a canonical watched,
is an object that is canonical,
i.e., such that no two equal elements can be instantiated.
- CanonicalWatched() - Constructor for class buffer.CanonicalWatched
-
- carthesianProduct(Collection<Assignment>, Collection<Assignment>) - Static method in class sdd.Assignment
-
Returns the Carthesian product of the two specified lists of assignments.
- ChildrenOperation - Class in sdd.ope
-
A children operation is a vtree operation
where two specified operations are applied on the primes (for the first one)
and the subs (for the second one) of the input vtree.
- ChildrenOperation(VtreeOperation, VtreeOperation) - Constructor for class sdd.ope.ChildrenOperation
-
Builds a vtree operation that consists in applying
the first specified operation on the primes of the input vtree,
and the second specified operation on the subs of the input vtree.
- clear() - Method in class sdd.Singleton
-
- compare(SDDTree, SDDTree) - Static method in class sdd.SDDTrees
-
Gives a total order on the SDD tree.
- compareTo(SDDTree) - Method in class sdd.SDDTree
-
- compareTo(SDDTreeConjunction) - Method in class sdd.SDDTreeConjunction
-
- compareTo(Variable) - Method in class sdd.Variable
-
- compareTo(Pair<C1, C2>) - Method in class util.Pair
-
Compares this pair to the specified object.
- conjunctionValue(X, X) - Method in interface sdd.SDDFunction
-
Returns the value associated with a conjunction
given the value associated with its prime and its sub.
- conjunctionValue(Double, Double) - Method in class sdd.SDDProbabilityFunction
-
- ConsecutiveOperations - Class in sdd.ope
-
The consecutive application of a specified list of vtree operations.
- ConsecutiveOperations(List<VtreeOperation>) - Constructor for class sdd.ope.ConsecutiveOperations
-
Creates the operation defined as the application
of the specified list of vtree operations.
- constant(boolean, Vtree) - Static method in class sdd.SDD
-
Returns the SDD representing the specified constant.
- CONSTANT_TYPE - Variable in class sdd.SDDTree
-
- contains(Object) - Method in class sdd.Singleton
-
- contains(Vtree) - Method in class sdd.Vtree
-
Indicates whether this vtree contains the specified vtree.
- contains(Vtree) - Method in class sdd.VtreeLeaf
-
- contains(Vtree) - Method in class sdd.VtreeNode
-
- containsAll(Collection<?>) - Method in class sdd.Singleton
-
- create(SDDTree, Vtree) - Static method in class sdd.SDD
-
Creates an SDD defined as the specified SDD tree on the specified vtree.
- create(SDDTree, SDDTree) - Static method in class sdd.SDDTreeConjunction
-
Creates the SDD tree conjunction
corresponding to the specified primes and subs.
- create(Set<SDDTreeConjunction>) - Static method in class sdd.SDDTreeDisjunction
-
- create(Variable, boolean) - Static method in class sdd.SDDVariable
-
- create(Variable) - Static method in class sdd.VtreeLeaf
-
Returns the vtree leaf associated with the specified variable.
- create(Vtree, Vtree) - Static method in class sdd.VtreeNode
-