|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Assignment
This interface defines the basic methods of an assignment of values to
some variables of a Context
. A value for each variable
of the context can be 0 or 1; all other values are considered
to be undefined (don't care values).
There are methods that return the current value assigned to a
particular variable of the context and methods for changing
an assignment so some variable.
Method Summary | |
---|---|
Context |
getContext()
Returns the context of the assignment. |
int |
getValue(Variable variable)
Returns the value of the assignment for the variable. |
void |
setValue(Variable variable,
int value)
Adds a value for a variable to the assignment. |
Method Detail |
---|
Context getContext()
void setValue(Variable variable, int value)
variable
- the variablevalue
- its value
IncorrectUseException
- if the variable is from
a different context than the assignmentint getValue(Variable variable)
variable
- variable for which the assigned value should
be returned
IncorrectUseException
- if the variable is from
a different context than the assignment
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |