minicp.engine.core

Interface Solver

All Known Implementing Classes:

MiniCP

public interface Solver

Method Summary

Modifier and Type	Method and Description
void	fixPoint() Computes the fix-point with all the scheduled constraints.
StateManager	getStateManager() Returns the state manager in charge of the global state of the solver.
Objective	maximize(IntVar x) Creates a maximization objective on the given variable.
Objective	minimize(IntVar x) Creates a minimization objective on the given variable.
void	onFixPoint(Procedure listener) Adds a listener called whenever the fix-point.
void	post(BoolVar b) Forces the boolean variable to be true and then computes the fix-point.
void	post(Constraint c) Posts the constraint, that is call Constraint.post() and computes the fix-point.
void	post(Constraint c, boolean enforceFixPoint) Posts the constraint that is call Constraint.post() and optionally computes the fix-point.
void	schedule(Constraint c) Schedules the constraint to be propagated by the fix-point.

Method Detail

post

void post(Constraint c)

Posts the constraint, that is call Constraint.post() and computes the fix-point. A InconsistencyException is thrown if by posting the constraint it is proven that there is no solution.

Parameters:

c - the constraint to be posted

schedule

void schedule(Constraint c)

Schedules the constraint to be propagated by the fix-point.

Parameters:

c - the constraint to be scheduled

post

void post(Constraint c,
          boolean enforceFixPoint)

Posts the constraint that is call Constraint.post() and optionally computes the fix-point. A InconsistencyException is thrown if by posting the constraint it is proven that there is no solution.

Parameters:

c - the constraint to be posted

enforceFixPoint - is one wants to compute the fix-point after

fixPoint

void fixPoint()

Computes the fix-point with all the scheduled constraints.

getStateManager

StateManager getStateManager()

Returns the state manager in charge of the global state of the solver.

Returns:

the state manager

onFixPoint

void onFixPoint(Procedure listener)

Adds a listener called whenever the fix-point.

Parameters:

listener - the listener that is called whenever the fix-point is started

minimize

Objective minimize(IntVar x)

Creates a minimization objective on the given variable.

Parameters:

x - the variable to minimize

Returns:

an objective that can minimize x

See Also:

DFSearch.optimize(Objective)

maximize

Objective maximize(IntVar x)

Creates a maximization objective on the given variable.

Parameters:

x - the variable to maximize

Returns:

an objective that can maximize x

See Also:

DFSearch.optimize(Objective)

post

void post(BoolVar b)

Forces the boolean variable to be true and then computes the fix-point.

Parameters:

b - the variable that must be set to true