Uses of Class
org.coode.oppl.bindingtree.Assignment

Packages that use Assignment

Package	Description
org.coode.oppl.bindingtree
org.coode.oppl.utils

Uses of Assignment in org.coode.oppl.bindingtree

Fields in org.coode.oppl.bindingtree with type parameters of type Assignment

Modifier and Type	Field and Description
protected Set<Assignment>	BindingNode.assignments

Methods in org.coode.oppl.bindingtree that return types with arguments of type Assignment

Modifier and Type	Method and Description
Collection<Assignment>	BindingNode.getAssignments()

Methods in org.coode.oppl.bindingtree with parameters of type Assignment

Modifier and Type	Method and Description
void	BindingNode.addAssignment(Assignment assignment)

Constructors in org.coode.oppl.bindingtree with parameters of type Assignment

Constructor and Description
BindingNode(Assignment... assignments)
BindingNode(Assignment assignment)

Constructor parameters in org.coode.oppl.bindingtree with type arguments of type Assignment

Constructor and Description
BindingNode(Collection<Assignment> assignments, java.util.stream.Stream<? extends Variable<?>> unassignedVariables)

Uses of Assignment in org.coode.oppl.utils

Methods in org.coode.oppl.utils with parameters of type Assignment

Modifier and Type	Method and Description
protected ManchesterSyntaxRenderer	EvaluationResults.render(ConstraintSystem cs, Assignment assignment)