- DEBUG_VERIFY_VTREE(Vtree, SDDTree) - Static method in class sdd.SDDTree
-
- defineEdge(String, String) - Method in class util.DotStream
-
Defines a new edge.
- defineNode(String) - Method in class util.DotStream
-
Defines a new node.
- destroy() - Method in class buffer.CanonicalWatched
-
Notifies this object that it is no longer referenced.
- destroy() - Method in class sdd.SDD
-
- destroy() - Method in class sdd.SDDTreeConjunction
-
- destroy() - Method in class sdd.SDDTreeDisjunction
-
- destroy() - Method in class sdd.SDDVariable
-
- destroy() - Method in class sdd.VtreeNode
-
- DimacsTokenizer - Class in util
-
The integer tokenizer that reads a file in Dimacs format.
- DimacsTokenizer(BufferedReader) - Constructor for class util.DimacsTokenizer
-
Builds a Dimacs tokenizer from the specified buffered reader.
- DISJUNCTION_TYPE - Variable in class sdd.SDDTree
-
- disjunctionValue(Collection<X>) - Method in interface sdd.SDDFunction
-
Returns the value associated with a disjunction
given the value of all its elements in its decomposition.
- disjunctionValue(Collection<Double>) - Method in class sdd.SDDProbabilityFunction
-
- DotStream - Class in util
-
A DotStream, i.e., a dot stream,
is an interface for saving graphviz files.
- DotStream(PrintStream) - Constructor for class util.DotStream
-
Creates a dot stream where the file
will be saved in the specified print stream.
- DotStream(String) - Constructor for class util.DotStream
-
Creates a dot stream where the file
will be saved in the file at the specified address.
- down() - Method in class sdd.VtreePath
-
Changes the current position one step towards the leaf.