V
- VariableT
- Valuepublic class MacRevised<V extends Variable<V,T>,T extends Value<V,T>> extends ExtensionWithContext<V,T,MacRevised.NoGood>
MacPropagation
Modifier and Type | Class and Description |
---|---|
class |
MacRevised.NoGood
Assignment context
|
Modifier and Type | Field and Description |
---|---|
protected List<Constraint<V,T>> |
iConstraints
List of constraints on which arc-consistency is to be maintained
|
protected long |
iIteration
Current iteration
|
sMaxSize
Constructor and Description |
---|
MacRevised(Solver<V,T> solver,
DataProperties properties)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addConstraint(Constraint<V,T> constraint)
Adds a constraint on which arc-consistency is to be maintained
|
void |
afterAssigned(Assignment<V,T> assignment,
long iteration,
T value)
After a value is assigned: explanations of other values of the value's
variable are reset (to contain only the assigned value), propagation over
the assigned variable takes place.
|
void |
afterUnassigned(Assignment<V,T> assignment,
long iteration,
T value)
After a value is unassigned: explanations of all values of unassigned
variable are recomputed (
Value.conflicts(Assignment) ), propagation undo
over the unassigned variable takes place. |
void |
beforeAssigned(Assignment<V,T> assignment,
long iteration,
T value)
Before a value is unassigned: until the value is inconsistent with the
current solution, an assignment from its explanation is picked and
unassigned.
|
boolean |
contains(Constraint<V,T> constraint)
Returns true, if arc-consistency is to be maintained on the given
constraint
|
MacRevised.NoGood |
createAssignmentContext(Assignment<V,T> assignment)
Create a new assignment context for the given assignment.
|
Set<T> |
explanation(Assignment<V,T> assignment,
Constraint<V,T> constraint,
T value,
V variable) |
Set<T> |
goodValues(Assignment<V,T> assignment,
V variable)
good values of a variable (values not removed from variables domain)
|
boolean |
hasSupport(Assignment<V,T> assignment,
Constraint<V,T> constraint,
T value,
V variable) |
boolean |
init(Solver<V,T> solver)
Initialization.
|
boolean |
isGood(Assignment<V,T> assignment,
T value)
is variable good
|
Set<T> |
noGood(Assignment<V,T> assignment,
T value)
variables explanation
|
void |
propagate(Assignment<V,T> assignment,
Constraint<V,T> constraint,
T noGoodValue,
List<T> queue) |
void |
propagate(Assignment<V,T> assignment,
List<T> queue) |
boolean |
revise(Assignment<V,T> assignment,
Constraint<V,T> constraint,
T value) |
boolean |
revise(Assignment<V,T> assignment,
T value) |
protected void |
setGood(Assignment<V,T> assignment,
T value)
sets value to be good
|
void |
setNoGood(Assignment<V,T> assignment,
T value,
Set<T> reason)
sets value's explanation
|
Set<T> |
supports(Assignment<V,T> assignment,
Constraint<V,T> constraint,
T value,
V variable) |
getAssignmentContextReference, getContext, getContext, setAssignmentContextReference, unregister
beforeUnassigned, constraintAdded, constraintRemoved, getModel, getProperties, getSolver, isRegistered, register, variableAdded, variableRemoved
protected List<Constraint<V extends Variable<V,T>,T extends Value<V,T>>> iConstraints
protected long iIteration
public MacRevised(Solver<V,T> solver, DataProperties properties)
solver
- current solverproperties
- solver configurationpublic void addConstraint(Constraint<V,T> constraint)
constraint
- a hard constraint to be addedpublic boolean contains(Constraint<V,T> constraint)
constraint
- a constraintpublic void beforeAssigned(Assignment<V,T> assignment, long iteration, T value)
public void afterAssigned(Assignment<V,T> assignment, long iteration, T value)
public void afterUnassigned(Assignment<V,T> assignment, long iteration, T value)
Value.conflicts(Assignment)
), propagation undo
over the unassigned variable takes place.public void propagate(Assignment<V,T> assignment, Constraint<V,T> constraint, T noGoodValue, List<T> queue)
public boolean revise(Assignment<V,T> assignment, T value)
public boolean revise(Assignment<V,T> assignment, Constraint<V,T> constraint, T value)
public Set<T> explanation(Assignment<V,T> assignment, Constraint<V,T> constraint, T value, V variable)
public Set<T> supports(Assignment<V,T> assignment, Constraint<V,T> constraint, T value, V variable)
public boolean hasSupport(Assignment<V,T> assignment, Constraint<V,T> constraint, T value, V variable)
public boolean init(Solver<V,T> solver)
public Set<T> goodValues(Assignment<V,T> assignment, V variable)
assignment
- current assignmentvariable
- given variablepublic Set<T> noGood(Assignment<V,T> assignment, T value)
assignment
- current assignmentvalue
- given valuepublic boolean isGood(Assignment<V,T> assignment, T value)
assignment
- current assignmentvalue
- given valueprotected void setGood(Assignment<V,T> assignment, T value)
assignment
- current assignmentvalue
- given valuepublic void setNoGood(Assignment<V,T> assignment, T value, Set<T> reason)
assignment
- current assignmentvalue
- a valuereason
- no-good set for the valuepublic MacRevised.NoGood createAssignmentContext(Assignment<V,T> assignment)
HasAssignmentContext
assignment
- an assignment for which there needs to be an assignment contextCopyright © 2016 UniTime LLC. All Rights Reserved.