Uses of Interface
minicp.util.Procedure

Packages that use Procedure

Package	Description
minicp.cp	Factory methods for modeling and create search heuristics
minicp.engine.core	Solver objects
minicp.search	State Management
minicp.state	State Management

Uses of Procedure in minicp.cp

Fields in minicp.cp declared as Procedure

Modifier and Type	Field and Description
static Procedure[]	BranchingScheme.EMPTY Constant that should be returned to notify the solver that there are no branches to create any more and that the current state should be considered as a solution.

Methods in minicp.cp that return Procedure

Modifier and Type	Method and Description
static Procedure[]	BranchingScheme.branch(Procedure... branches)

Methods in minicp.cp with parameters of type Procedure

Modifier and Type	Method and Description
static Procedure[]	BranchingScheme.branch(Procedure... branches)

Uses of Procedure in minicp.engine.core

Methods in minicp.engine.core with parameters of type Procedure

Modifier and Type	Method and Description
void	MiniCP.onFixPoint(Procedure listener)
void	Solver.onFixPoint(Procedure listener) Adds a listener called whenever the fix-point.
void	IntVarViewMul.whenBind(Procedure f)
void	IntVarImpl.whenBind(Procedure f)
void	IntVar.whenBind(Procedure f) Asks that the closure is called whenever the domain of this variable is reduced to a single setValue
void	IntVarViewOffset.whenBind(Procedure f)
void	IntVarViewOpposite.whenBind(Procedure f)
void	IntVarViewMul.whenBoundsChange(Procedure f)
void	IntVarImpl.whenBoundsChange(Procedure f)
void	IntVar.whenBoundsChange(Procedure f) Asks that the closure is called whenever the max or min setValue of the domain of this variable changes
void	IntVarViewOffset.whenBoundsChange(Procedure f)
void	IntVarViewOpposite.whenBoundsChange(Procedure f)
void	IntVarViewMul.whenDomainChange(Procedure f)
void	IntVarImpl.whenDomainChange(Procedure f)
void	IntVar.whenDomainChange(Procedure f) Asks that the closure is called whenever the domain change of this variable changes
void	IntVarViewOffset.whenDomainChange(Procedure f)
void	IntVarViewOpposite.whenDomainChange(Procedure f)

Constructors in minicp.engine.core with parameters of type Procedure

Constructor and Description
ConstraintClosure(Solver cp, Procedure filtering)

Uses of Procedure in minicp.search

Methods in minicp.search that return Procedure

Modifier and Type	Method and Description
Procedure[]	Sequencer.get()
Procedure[]	LimitedDiscrepancyBranching.get()

Methods in minicp.search with parameters of type Procedure

Modifier and Type	Method and Description
void	DFSearch.onFailure(Procedure listener) Adds a listener that is called whenever a failure occurs and the search backtracks.
void	DFSearch.onSolution(Procedure listener) Adds a listener that is called on each solution.
SearchStatistics	DFSearch.optimizeSubjectTo(Objective obj, Predicate<SearchStatistics> limit, Procedure subjectTo) Executes a closure prior to effectively starting a branch and bound depth first search with a given objective to optimize and a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	DFSearch.solveSubjectTo(Predicate<SearchStatistics> limit, Procedure subjectTo) Executes a closure prior to effectively starting a depth first search with a given predicate called at each node to stop the search when it becomes true.

Uses of Procedure in minicp.state

Methods in minicp.state with parameters of type Procedure

Modifier and Type	Method and Description
void	Copier.onRestore(Procedure listener)
void	StateManager.onRestore(Procedure listener) Add a listener that is notified each time the StateManager.restoreState() is called.
void	Trailer.onRestore(Procedure listener)
void	Copier.withNewState(Procedure body)
void	StateManager.withNewState(Procedure body) Higher-order function that preserves the state prior to calling body and restores it after.
void	Trailer.withNewState(Procedure body)