A wrapper around a JaCoP DepthFirstSearch that is used to run this search in a new thread. More...

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

Public Member Functions
	JaCoPiterSearch (StoreCloneable store, IntVarCloneable[] vars, IntVarCloneable[] projectedVars, IntVarCloneable costVar, IntVarCloneable valuationVar, Lock lock, Condition nextAsked, Condition nextDelivered, V infeasibleValuation)
	Constructor.
IntVarCloneable[]	getVariables ()
void	run ()
void	setSolution (int[] lastSolution, V lastValuation)
	The method used by the SolutionListener to record the last solution found.
int[]	getSolution ()
	The method used by the iterator to get the last solution found.
V	getValuation ()
	The method used by the iterator to get the valuation of last solution found.
V	getUtility ()
	The method used by the iterator to get the utility of last solution found.
V	getCost ()
	The method used by the iterator to get the cost of last solution found.
void	setNewBound (int newBound)
	The method used by the iterator to set the new bound on the cost variable.
int	getCurrentBound ()
	The method used by the SolutionLIstener to get the current bound on the cost variable.

Package Attributes
DepthFirstSearch< IntVarCloneable >	search
	JaCoP's search strategy.

Private Attributes
StoreCloneable	store
	The JaCoP store.
IntVarCloneable[]	vars
	The JaCoP variables.
IntVarCloneable[]	projectedVars
	The JaCoP variables whose projection has been requested.
IntVarCloneable	costVar
	The cost variable.
IntVarCloneable	valuationVar
	The valuation variable.
int[]	solution
	The last solution found.
V	valuation
	The valuation of the last solution found.
final V	infeasibleValuation
	The infeasible valuation.
int	currentBound
	The current bound on the cost variable.
Lock	lock
	The lock used to ensure that only a single thread is running at a time.
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

A wrapper around a JaCoP DepthFirstSearch that is used to run this search in a new thread.

Parameters

<V>	The class used for valuations

Constructor & Destructor Documentation

frodo2.solutionSpaces.JaCoP.JaCoPiterSearch< V extends Addable< V > >.JaCoPiterSearch	(	StoreCloneable	store,
		IntVarCloneable[]	vars,
		IntVarCloneable[]	projectedVars,
		IntVarCloneable	costVar,
		IntVarCloneable	valuationVar,
		Lock	lock,
		Condition	nextAsked,
		Condition	nextDelivered,
		V	infeasibleValuation )

Constructor.

Parameters

store	The JaCoP store
vars	The variables over which we iterate
projectedVars	The variable whose projection has been requested
costVar	The cost variable
valuationVar	The valuation variable
lock	The lock that guarantees the mutual exclusion in the execution of the search thread and the iterator thread
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