This solution listener is a part of the JaCoPutilSpace iterator that allows us to simulate a JaCoP master/slave search combination where the slave is an optimization search while the master is not. More...

Inheritance diagram for frodo2.solutionSpaces.JaCoP.IterSolutionListener< V extends Addable< V > >:

[legend]

Public Member Functions
	IterSolutionListener (JaCoPiterSearch< V > search, IntVarCloneable[] iterVars, IntVarCloneable costVar, IntVarCloneable valuationVar, Condition nextAsked, Condition nextDelivered, V infeasibleValuation)
	Constructor.
boolean	executeAfterSolution (final Search< IntVarCloneable > search, final SelectChoicePoint< IntVarCloneable > select)
boolean	executeAfterConsistency (final boolean consistent)
	Checks that the cost variable is still consistent with the current bound.
void	setChildrenListeners (ConsistencyListener[] children)
void	setChildrenListeners (ConsistencyListener child)

Private Attributes
JaCoPiterSearch< V >	search
	The master search.
IntVarCloneable[]	iterVars
	The JaCoP variables that are being iterated over.
IntVarCloneable	costVar
	The cost variable.
IntVarCloneable	valuationVar
	The valuation variable.
final V	infeasibleValuation
	The infeasible valuation.
Condition	nextAsked
	The condition used to signal this thread to continue the search until a next solution is found.
Condition	nextDelivered
	The condition used to signal the main thread that a new solution has been found and has been delivered.

Detailed Description

This solution listener is a part of the JaCoPutilSpace iterator that allows us to simulate a JaCoP master/slave search combination where the slave is an optimization search while the master is not.

Author: Arnaud Jutzeler, Thomas Leaute

Parameters

<V>	The class of valuations

Constructor & Destructor Documentation

◆ IterSolutionListener()

frodo2.solutionSpaces.JaCoP.IterSolutionListener< V extends Addable< V > >.IterSolutionListener	(	JaCoPiterSearch< V >	search,
		IntVarCloneable[]	iterVars,
		IntVarCloneable	costVar,
		IntVarCloneable	valuationVar,
		Condition	nextAsked,
		Condition	nextDelivered,
		V	infeasibleValuation )

Constructor.

Parameters

search	The JaCoPSearch that start the search
iterVars	The variables being iterated over
costVar	The cost variable
valuationVar	The valuation variable
nextAsked	The condition used to signal the search to continue the search
nextDelivered	The condition used to signal the iterator thread that a new solution has been found
infeasibleValuation	The infeasible valuation

References costVar, infeasibleValuation, iterVars, nextAsked, nextDelivered, search, and valuationVar.

Member Function Documentation

◆ executeAfterConsistency()

boolean frodo2.solutionSpaces.JaCoP.IterSolutionListener< V extends Addable< V > >.executeAfterConsistency ( final boolean consistent )

Checks that the cost variable is still consistent with the current bound.

See also: org.jacop.search.ConsistencyListener#executeAfterConsistency(boolean)

References frodo2.solutionSpaces.JaCoP.JaCoPiterSearch< V extends Addable< V > >.getCurrentBound().

Here is the call graph for this function:

◆ executeAfterSolution()

boolean frodo2.solutionSpaces.JaCoP.IterSolutionListener< V extends Addable< V > >.executeAfterSolution	(	final Search< IntVarCloneable >	search,
		final SelectChoicePoint< IntVarCloneable >	select )