- falseValue(Collection<Variable>) - Method in interface sdd.SDDFunction
-
Returns the value associated with false
for the specified collection of variables.
- falseValue(Collection<Variable>) - Method in class sdd.SDDProbabilityFunction
-
- findPathTo(Vtree, List<VtreeNode>) - Method in class sdd.Vtree
-
Stores in the specified list the ``path''
from this vtree to the specified vtree (excluded).
- findPathTo(Vtree, List<VtreeNode>) - Method in class sdd.VtreeLeaf
-
- findPathTo(Vtree, List<VtreeNode>) - Method in class sdd.VtreeNode
-
- first() - Method in class util.Pair
-
Access to the first element of this pair.
- forall(Variable) - Method in class sdd.SDD
-
Computes the SDD resulting from the universal operation
over this SDD for the specified variable.
- forall(SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Returns the result of the FORALL operation
on the specified SDDTreeDisjunction
if this result is known, null otherwise.
- forall(SDDTree, Variable, SDDMemory, VtreePath) - Static method in class sdd.SDDTrees
-
Computes the result of the forall operation on the specified sdd
for the specified variable.