Uses of Class
sdd.Assignment

Packages that use Assignment

Package	Description
sdd

Uses of Assignment in sdd

Methods in sdd that return Assignment

Modifier and Type	Method and Description
Assignment	SDD.getOneAssignment() Returns one model of this SDD.
Assignment	SDDConstant.getOneAssignment(Vtree tree)
abstract Assignment	SDDTree.getOneAssignment(Vtree tree) Returns one assignment for this SDDTree defined on the specified vtree.
Assignment	SDDTreeDisjunction.getOneAssignment(Vtree tree)
Assignment	SDDVariable.getOneAssignment(Vtree tree)

Methods in sdd that return types with arguments of type Assignment

Modifier and Type	Method and Description
static java.util.List<Assignment>	Assignment.carthesianProduct(java.util.Collection<Assignment> asses1, java.util.Collection<Assignment> asses2) Returns the Carthesian product of the two specified lists of assignments.
java.util.List<Assignment>	SDDConstant.getAssignmentList(Vtree tree)
abstract java.util.List<Assignment>	SDDTree.getAssignmentList(Vtree tree) Returns the list of assignments of this SDD tree.
java.util.List<Assignment>	SDDTreeDisjunction.getAssignmentList(Vtree tree)
java.util.List<Assignment>	SDDVariable.getAssignmentList(Vtree tree)
java.util.List<Assignment>	SDD.getAssignments() Returns the models of this SDD.

Method parameters in sdd with type arguments of type Assignment

Modifier and Type	Method and Description
static java.util.List<Assignment>	Assignment.carthesianProduct(java.util.Collection<Assignment> asses1, java.util.Collection<Assignment> asses2) Returns the Carthesian product of the two specified lists of assignments.
static java.util.List<Assignment>	Assignment.carthesianProduct(java.util.Collection<Assignment> asses1, java.util.Collection<Assignment> asses2) Returns the Carthesian product of the two specified lists of assignments.

Constructors in sdd with parameters of type Assignment

Constructor and Description
Assignment(Assignment ass1, Assignment ass2) Creates an assignment corresponding to the union of the two specified assignments.
Assignment(Assignment ass, Variable var, boolean val) Creates an assignment corresponding to adding to the specified assignment to assignment of the specified variable to the specified value.