Package | Description |
---|---|
JaCoP.core |
Modifier and Type | Field and Description |
---|---|
BooleanVar[] |
Store.changeHistory4BooleanVariables
It stores boolean variables as soon as they change (become grounded or
number of constraints being attached is changed).
|
Modifier and Type | Method and Description |
---|---|
boolean |
BooleanVar.eq(BooleanVar var)
It checks if the domains of variables are equal.
|
void |
Store.recordBooleanChange(BooleanVar recordedVariable)
Any boolean variable which is changed must be recorded by store, so it
can be restored to the previous state if backtracking is performed.
|