- ban_and(SDDTree, SDDTree, SDDMemory) - Static method in class sdd.SDDTrees
-
Computes the conjunction of the two specified SDD trees.
- ban_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.
- ban_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.
- ban_not(SDDTree, SDDMemory) - Static method in class sdd.SDDTrees
-
Computes the negation of the specified SDD tree.
- ban_or(SDDTree, SDDTree, SDDMemory) - Static method in class sdd.SDDTrees
-
Computes the disjunction of the two specified SDD trees.
- buffer - package buffer
-
- buildSimpleSDDNode(SDDTree, SDDTree, SDDMemory) - Static method in class sdd.SDDTrees
-