- ObjectWithParents<PC extends ObjectWithParents> - Class in buffer
-
A ObjectWithParents, i.e., an object-with-parents,
is an object that is (possibly partially) defined as
a list of objects of the same type.
- ObjectWithParents() - Constructor for class buffer.ObjectWithParents
-
- Optimisation - Class in sdd.opt
-
Methods to optimise the vtree.
- Optimisation(List<SDD>) - Constructor for class sdd.opt.Optimisation
-
Creates a new Optimisation instance.
- optimisationChange(Map<SDDTree, SDDTree>, Set<CanonicalWatched>, Vtree, Collection<SDDTree>) - Static method in class sdd.opt.OptimisationReport
-
- OptimisationProblem - Interface in sdd.opt
-
- OptimisationReport - Class in sdd.opt
-
An optimisation report is an object
that summarise the result of one or several optimisation operations.
- optimiseSingleSDD(SDD) - Static method in class sdd.opt.Optimisation
-
- or(SDD) - Method in class sdd.SDD
-
Returns the SDD corresponding to the OR operation
between this SDD and the specified SDD.
- or(Vtree, SDD...) - Static method in class sdd.SDD
-
Performs an OR operation on the specified collection of SDD.
- or(SDDTreeDisjunction, SDDTreeDisjunction) - Method in class sdd.SDDMemory
-
Returns the result of the OR operation
between the two specified SDDTreeDisjunction
if this result is known, null otherwise.
- or(SDDTree, SDDTree, SDDMemory) - Static method in class sdd.SDDTrees
-
Computes the disjunction of the two specified SDD trees.