minicp.engine.core

Class MiniCP

java.lang.Object

minicp.engine.core.MiniCP

All Implemented Interfaces:

Solver

public class MiniCP
extends Object
implements Solver

Constructor Summary

Constructors

Constructor and Description
MiniCP(StateManager sm)

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MiniCP

public MiniCP(StateManager sm)

Method Detail

getStateManager

public StateManager getStateManager()

Description copied from interface: Solver

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

Specified by:

getStateManager in interface Solver

Returns:

the state manager

schedule

public void schedule(Constraint c)

Description copied from interface: Solver

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

Specified by:

schedule in interface Solver

Parameters:

c - the constraint to be scheduled

onFixPoint

public void onFixPoint(Procedure listener)

Description copied from interface: Solver

Adds a listener called whenever the fix-point.

Specified by:

onFixPoint in interface Solver

Parameters:

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

fixPoint

public void fixPoint()

Description copied from interface: Solver

Computes the fix-point with all the scheduled constraints.

Specified by:

fixPoint in interface Solver

minimize

public Objective minimize(IntVar x)

Description copied from interface: Solver

Creates a minimization objective on the given variable.

Specified by:

minimize in interface Solver

Parameters:

x - the variable to minimize

Returns:

an objective that can minimize x

See Also:

DFSearch.optimize(Objective)

maximize

public Objective maximize(IntVar x)

Description copied from interface: Solver

Creates a maximization objective on the given variable.

Specified by:

maximize in interface Solver

Parameters:

x - the variable to maximize

Returns:

an objective that can maximize x

See Also:

DFSearch.optimize(Objective)

post

public void post(Constraint c)

Description copied from interface: Solver

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.

Specified by:

post in interface Solver

Parameters:

c - the constraint to be posted

post

public void post(Constraint c,
                 boolean enforceFixPoint)

Description copied from interface: Solver

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.

Specified by:

post in interface Solver

Parameters:

c - the constraint to be posted

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

post

public void post(BoolVar b)

Description copied from interface: Solver

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

Specified by:

post in interface Solver

Parameters:

b - the variable that must be set to true