sdd

Class Assignment

java.lang.Object

sdd.Assignment

public class Assignment
extends java.lang.Object

An assignment is a function that associates a Boolean to some variables.

Constructor Summary

Constructors

Constructor and Description
Assignment() Creates an empty assignment.
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.
Assignment(java.util.Map<Variable,java.lang.Boolean> ass) Creates the assignment corresponding to the specified mapping.
Assignment(Variable var, boolean val) Creates the assignment that associates the specified value to the specified variable.

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Set<Variable>	assignedVariables() Returns the list of assigned variables.
java.lang.Boolean	assignment(Variable var) Returns the boolean assignment of the specified variable.
static java.util.List<Assignment>	carthesianProduct(java.util.Collection<Assignment> asses1, java.util.Collection<Assignment> asses2) Returns the Carthesian product of the two specified lists of assignments.
boolean	equals(java.lang.Object o)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Assignment

public Assignment(Variable var,
          boolean val)

Creates the assignment that associates the specified value to the specified variable.

Parameters:

var - the variable that is being assigned.

val - the value that is assigned to the variable.

Assignment

public Assignment(java.util.Map<Variable,java.lang.Boolean> ass)

Creates the assignment corresponding to the specified mapping.

Parameters:

ass - a mapping that associates booleans to variables.

Assignment

public Assignment()

Creates an empty assignment.

Assignment

public 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.

Parameters:

ass - the base assignment.

var - the added variable.

val - the value that is assigned to the variable.

Assignment

public Assignment(Assignment ass1,
          Assignment ass2)

Creates an assignment corresponding to the union of the two specified assignments.

Parameters:

ass1 - the first assignment.

ass2 - the second assignment.

Method Detail

assignedVariables

public java.util.Set<Variable> assignedVariables()

Returns the list of assigned variables.

Returns:

the set of variables that are assigned in this assignment.

assignment

public java.lang.Boolean assignment(Variable var)

Returns the boolean assignment of the specified variable.

Parameters:

var - the variable.

Returns:

the assignment of var if any, null otherwise.

carthesianProduct

public static java.util.List<Assignment> carthesianProduct(java.util.Collection<Assignment> asses1,
                                           java.util.Collection<Assignment> asses2)

Returns the Carthesian product of the two specified lists of assignments. An element of the product is the union of two assignments, one from the first list and the other one from the second list.

Parameters:

asses1 - the first list of assignments.

asses2 - the second list of assignments.

Returns:

the Carthesian product of asses1 and asses2.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object