- generateName() - Method in interface util.NameGenerator
-
Gives a String name.
- generateName() - Method in class util.NumberedNameGenerator
-
- generateNumbers() - Method in class util.Mersenne
-
- generateRandom3CNF(PseudoRandom, SDD[], int) - Static method in class sdd.Random
-
Creates at random an SDD defined as the conjunction
of the specified number of ''clauses'',
where each ''clause'' is the disjunction of three SDDs
taken from the specified array.
- generateRandom3CNFFromList(PseudoRandom, List<SDD>, int) - Static method in class sdd.Random
-
Creates at random an SDD defined as the conjunction
of the specified number of ''clauses'',
where each ''clause'' is the disjunction of three SDDs
taken from the specified list.
- get(boolean) - Static method in class sdd.SDDConstant
-
Returns the SDD tree corresponding to the specified boolean.
- get() - Method in class sdd.SDDTreeDisjunctionConstructor
-
Returns the result of this construction.
- get() - Method in class sdd.VtreePath
-
Returns the current position of this path.
- get(Object) - Method in class util.IdentityMap
-
- getAssignmentList(Vtree) - Method in class sdd.SDDConstant
-
- getAssignmentList(Vtree) - Method in class sdd.SDDTree
-
Returns the list of assignments of this SDD tree.
- getAssignmentList(Vtree) - Method in class sdd.SDDTreeDisjunction
-
- getAssignmentList(Vtree) - Method in class sdd.SDDVariable
-
- getAssignments() - Method in class sdd.SDD
-
Returns the models of this SDD.
- getBuffer() - Method in class buffer.CanonicalWatched
-
Returns the buffer that is used to decide the canonical objects.
- getBuffer() - Method in class sdd.SDD
-
- getBuffer() - Method in class sdd.SDDConstant
-
- getBuffer() - Method in class sdd.SDDTreeConjunction
-
- getBuffer() - Method in class sdd.SDDTreeDisjunction
-
- getBuffer() - Method in class sdd.SDDVariable
-
- getBuffer() - Method in class sdd.VtreeLeaf
-
- getBuffer() - Method in class sdd.VtreeNode
-
- getCanonical() - Method in class buffer.CanonicalWatched
-
Returns the canonical version of this object.
- getCanonicalObjectOfParent(PC) - Method in class buffer.ObjectWithParents
-
Returns the canonical version of the specified parent of this object.
- getConstant() - Method in class sdd.SDDConstant
-
- getConstant() - Method in class sdd.SDDTree
-
Returns the constant associated with this SDD tree.
- getConstant() - Method in class sdd.SDDTreeDisjunction
-
- getConstant() - Method in class sdd.SDDVariable
-
- getDepth() - Method in class sdd.Vtree
-
Returns the depth of this vtree.
- getDepth() - Method in class sdd.VtreeLeaf
-
- getDepth() - Method in class sdd.VtreeNode
-
- getDisjunction() - Method in class sdd.SDDConstant
-
- getDisjunction() - Method in class sdd.SDDTree
-
Returns the disjunction associated with this SDD tree.
- getDisjunction() - Method in class sdd.SDDTreeDisjunction
-
- getDisjunction() - Method in class sdd.SDDVariable
-
- getDisjuncts() - Method in class sdd.SDDTreeDisjunction
-
Returns an iterable on the SDDTreeDisjunct of this disjunction.
- getFalse() - Static method in class sdd.SDDConstant
-
Returns the SDD tree corresponding to the constant false.
- getLeft() - Method in class sdd.VtreeNode
-
Returns the left child of this vtree node.
- getLiteral() - Method in class sdd.SDDConstant
-
- getLiteral() - Method in class sdd.SDDTree
-
Returns the literal associated with this SDD tree.
- getLiteral() - Method in class sdd.SDDTreeDisjunction
-
- getLiteral() - Method in class sdd.SDDVariable
-
- getName() - Method in class sdd.Variable
-
Returns the name of this variable.
- getNewProblem() - Method in class sdd.opt.OptimisationReport
-
Returns the optimisation problem
that appears after this optimisation has been applied.
- getNonNullMap() - Method in class sdd.opt.OptimisationReport
-
- getOneAssignment() - Method in class sdd.SDD
-
Returns one model of this SDD.
- getOneAssignment(Vtree) - Method in class sdd.SDDConstant
-
- getOneAssignment(Vtree) - Method in class sdd.SDDTree
-
Returns one assignment for this SDDTree defined on the specified vtree.
- getOneAssignment(Vtree) - Method in class sdd.SDDTreeDisjunction
-
- getOneAssignment(Vtree) - Method in class sdd.SDDVariable
-
- getPrimaryChild() - Method in class buffer.ObjectWithParents
-
Returns the primary child of this object.
- getPrime() - Method in class sdd.SDDTreeConjunction
-
Returns the prime of this conjunction.
- getRight() - Method in class sdd.VtreeNode
-
Returns the right child of this vtree node.
- getSDDs() - Method in class sdd.opt.ExplicitOptimisationProblem
-
- getSDDs() - Method in class sdd.opt.Optimisation
-
Returns the current list of SDDs.
- getSDDs() - Method in interface sdd.opt.OptimisationProblem
-
- getSDDs() - Method in class sdd.opt.OptimisationReport
-
Returns the collection of SDDTrees after this optimisation was performed.
- getSDDTree() - Method in class sdd.SDD
-
Returns the SDDTree of this SDD.
- getSecondaryChildren() - Method in class buffer.ObjectWithParents
-
Returns the secondary children of this object.
- getSign() - Method in class sdd.SDDVariable
-
Returns the sign of this literal.
- getSub() - Method in class sdd.SDDTreeConjunction
-
Returns the sub of this conjunction.
- getSubnodes() - Method in class sdd.opt.ExplicitOptimisationProblem
-
- getSubnodes() - Method in interface sdd.opt.OptimisationProblem
-
- getTree() - Method in class sdd.opt.ExplicitOptimisationProblem
-
- getTree() - Method in interface sdd.opt.OptimisationProblem
-
- getTree() - Method in class sdd.SDD
-
Returns the Vtree of this SDD.
- getTrue() - Static method in class sdd.SDDConstant
-
Returns the SDD tree corresponding to the constant true.
- getVariable() - Method in class sdd.SDDVariable
-
Returns the variable of this literal.
- getVariable() - Method in class sdd.VtreeLeaf
-
Returns the (single) variable associated with this vtree.
- getVariables() - Method in class sdd.Vtree
-
Returns the collection of variables
that decorate the leaves of this vtree.
- getVariables() - Method in class sdd.VtreeLeaf
-
- getVariables() - Method in class sdd.VtreeNode
-
- getVtree() - Method in class sdd.opt.OptimisationReport
-
Returns the vtree in this report
(the same as the old vtree if !vtreeChanged()).
- gotoLeaf() - Method in class sdd.VtreePath
-
Changes the current position to the leaf of this path.
- gotoRoot() - Method in class sdd.VtreePath
-
Changes the current position to the root of this path.