minicp.engine.core

Interface Constraint

All Known Implementing Classes:

Absolute, AbstractConstraint, AllDifferentAC, AllDifferentBinary, Circuit, ConstraintClosure, Cumulative, CumulativeDecomposition, Disjunctive, Element1D, Element1DVar, Element2D, IsEqual, IsLessOrEqual, IsLessOrEqualVar, IsOr, LessOrEqual, Maximum, NegTableCT, NotEqual, Or, ShortTableCT, ShortTableDecomp, Sum, TableCT, TableDecomp

public interface Constraint

Interface implemented by every Constraint

See Also:

AbstractConstraint

Method Summary

Modifier and Type	Method and Description
boolean	isActive() Returns the active status of the constraint.
boolean	isScheduled() Returns the schedule status in the fix-point.
void	post() Initializes the constraint when it is posted to the solver.
void	propagate() Propagates the constraint.
void	setActive(boolean active) Activates or deactivates the constraint such that it is not scheduled any more.
void	setScheduled(boolean scheduled) Set the status of the constraint as scheduled to be propagated by the fix-point.

Method Detail

post

void post()

Initializes the constraint when it is posted to the solver.

propagate

void propagate()

Propagates the constraint.

setScheduled

void setScheduled(boolean scheduled)

Set the status of the constraint as scheduled to be propagated by the fix-point. This method Called by the solver when the constraint is enqueued in the propagation queue and is not intended to be called by the user.

Parameters:

scheduled - a value that is true when the constraint is enqueued in the propagation queue, false when dequeued

See Also:

Solver.fixPoint()

isScheduled

boolean isScheduled()

Returns the schedule status in the fix-point.

Returns:

the last setScheduled(boolean) given to setScheduled

setActive

void setActive(boolean active)

Activates or deactivates the constraint such that it is not scheduled any more.

Typically called by the Constraint to let the solver know it should not be scheduled any more when it is subsumed.

By default the constraint is active.

Parameters:

active - the status to be set, this state is reversible and unset on state restoration StateManager.restoreState()

isActive

boolean isActive()

Returns the active status of the constraint.

Returns:

the last setValue passed to {setActive(boolean) in this state frame StateManager.restoreState().