- empty() - Method in class sdd.SDDMemory
-
Empties the memory.
- end() - Method in class util.DotStream
-
Indicates that the graphviz file is finished.
- entrySet() - Method in class util.IdentityMap
-
- equals(Object) - Method in class buffer.CanonicalWatched
-
Indicates whether this object equals the specified object.
- equals(Object) - Method in class sdd.Assignment
-
- equals(Object) - Method in class sdd.Variable
-
- equals(Object) - Method in class util.Pair
-
Indicates whether the specified object equals this pair.
- equivalent(Object) - Method in class buffer.CanonicalWatched
-
Indicates whether the specified object
is equivalent to this object.
- equivalent(Object) - Method in class sdd.SDD
-
- equivalent(Object) - Method in class sdd.SDDConstant
-
- equivalent(Object) - Method in class sdd.SDDTreeConjunction
-
- equivalent(Object) - Method in class sdd.SDDTreeDisjunction
-
- equivalent(Object) - Method in class sdd.SDDVariable
-
- equivalent(Object) - Method in class sdd.VtreeLeaf
-
- equivalent(Object) - Method in class sdd.VtreeNode
-
- exists(Variable) - Method in class sdd.SDD
-
Computes the SDD resulting from the existantial operation
over this SDD for the specified variable.
- exists(SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Returns the result of the EXISTS operation
on the specified SDDTreeDisjunction
if this result is known, null otherwise.
- exists(SDDTree, Variable, SDDMemory, VtreePath) - Static method in class sdd.SDDTrees
-
Computes the result of the exists operation on the specified sdd
for the specified variable.
- ExplicitOptimisationProblem - Class in sdd.opt
-
- ExplicitOptimisationProblem(Collection<SDDTree>, Vtree) - Constructor for class sdd.opt.ExplicitOptimisationProblem
-
Creates an optimisation problem
of the specified collection of SDD
defined on the specified vtree.
- extractNumber() - Method in class util.Mersenne
-