- variable(Variable, Vtree) - Static method in class sdd.SDD
-
Creates the SDD associated with the specified variable
(i.e., the positive literal associated with the variable)
for a given vtree.
- Variable - Class in sdd
-
A Variable, i.e., a variable,
represents a propositional variable,
i.e., a variable which can be assigned to true or false.
- Variable() - Constructor for class sdd.Variable
-
Creates a new variable with name x_nb
where nb is some number.
- verifyValidity() - Method in class buffer.CanonicalWatched
-
Verifies that the number of watches of this object is over 0.
- Vtree - Class in sdd
-
A Vtree, i.e., a vtree,
is a binary (sub)tree that supports a SDD.
- Vtree() - Constructor for class sdd.Vtree
-
- vtreeChanged() - Method in class sdd.opt.OptimisationReport
-
Indicates whether the optimisation was successful.
- VtreeLeaf - Class in sdd
-
A VtreeLeaf, i.e., a (vtree) leaf,
is a tree that contains a single variable.
- VtreeNode - Class in sdd
-
A VtreeNode, i.e., a vtree node,
is a binary node in a vtree.
- VtreeOperation - Interface in sdd.ope
-
A vtree operation is an operation that affects a Vtree.
- VtreeOperations - Class in sdd.ope
-
Abstract methods for vtree operations.
- VtreeOperations() - Constructor for class sdd.ope.VtreeOperations
-
- VtreePath - Class in sdd
-
A VtreePath, i.e., a Vtree path,
is a sequence of vtrees such that each vtree
is a child of the previous vtree.
- VtreePath(Vtree, Vtree) - Constructor for class sdd.VtreePath
-
Creates a vtree path whose root is the first specified vtree
and whose leaf is the second specified vtree.