A solution iterator for JaCoPutilSpace. More...

Inheritance diagram for frodo2.solutionSpaces.JaCoP.JaCoPutilSpaceIter >:

[legend]

Public Member Functions
	JaCoPutilSpaceIter (JaCoPutilSpace< U > space, String[] variables, AddableInteger[][] domains)
	Constructor.
	JaCoPutilSpaceIter (JaCoPutilSpace< U > space, String[] variables, AddableInteger[][] domains, AddableInteger[] assignments)
	Constructor.
void	setCurrentUtility (final U valuation)
U	getCurrentUtility ()
U	nextUtility ()
String	toString ()
Public Member Functions inherited from frodo2.solutionSpaces.hypercube.HypercubeIter< V extends Addable< V >, U extends Addable< U > >
	HypercubeIter ()
	Constructor.
U	nextUtility (U bound, final boolean minimize)
U	getCurrentUtility (U bound, final boolean minimize)
Public Member Functions inherited from frodo2.solutionSpaces.hypercube.BasicHypercubeIter< V, U >
long	getNbrSolutions ()
V[]	nextSolution ()
U	nextUtility ()
V[]	getCurrentSolution ()
U	getCurrentUtility ()
void	setCurrentUtility (U util)
	Sets the utility of the current solution.
String[]	getVariablesOrder ()
V[][]	getDomains ()
boolean	hasNext ()
void	update ()
String	toString ()
Public Member Functions inherited from frodo2.solutionSpaces.SolutionSpace< V extends Addable< V > >.SparseIterator< V >
V[]	nextSolution ()
V[]	getCurrentSolution ()
String[]	getVariablesOrder ()
V[][]	getDomains ()
void	update ()
	It is supposed to be called if the solution space upon which the iterator is based has changed.
Public Member Functions inherited from frodo2.solutionSpaces.SolutionSpace< V extends Addable< V > >.Iterator< V >
long	getNbrSolutions ()
boolean	hasNext ()

Protected Member Functions
int	iter ()
Protected Member Functions inherited from frodo2.solutionSpaces.hypercube.HypercubeIter< V extends Addable< V >, U extends Addable< U > >
	HypercubeIter (BasicHypercube< V, U > space, String[] variables, V[][] domains, V[] assignment, U skippedUtil)
	Constructor.
	HypercubeIter (BasicHypercube< V, U > space, String[] varOrder, V[] assignment, U skippedUtil)
	Constructor.
	HypercubeIter (BasicHypercube< V, U > space, V[] assignment, U skippedUtil)
	Constructor.
Protected Member Functions inherited from frodo2.solutionSpaces.hypercube.BasicHypercubeIter< V, U >
	BasicHypercubeIter ()
	Empty constructor.
int	iter ()
	Moves to the next solution.

Protected Attributes
JaCoPutilSpace< U >	space
	The JaCoPutilSpace we are iterating over.
Protected Attributes inherited from frodo2.solutionSpaces.hypercube.BasicHypercubeIter< V, U >
U[]	utilities
	The space's utility array.
U	utility
	Current utility value.
int	utilIndex
	The index of the current utility value in the utility array.
int[][]	steps
	For each variable:
V[]	solution
	Current variable assignments.
BasicHypercube< V, U >	space
	The BasicHypercube we are iterating over.
String[]	variables
	The order of iteration over the variables.
int	nbrVars
	The number of variables.
V[][]	domains
	The variables' domains.
int[]	valIndexes
	For each variable, the index in its domain of the current assignment.
long	nbrSolLeft
	The number of solutions left to iterate over.
long	nbrSols
	The total number of solutions to iterate over.

Detailed Description

A solution iterator for JaCoPutilSpace.

Parameters

<U>	the type used for valuations

Constructor & Destructor Documentation

frodo2.solutionSpaces.JaCoP.JaCoPutilSpaceIter< U extends Addable< U > >.JaCoPutilSpaceIter	(	JaCoPutilSpace< U >	space,
		String[]	variables,
		AddableInteger	domains[][] )

Constructor.

Parameters

space	the space over which to iterate
variables	the variable order for the iteration
domains	the domains of the variables

frodo2.solutionSpaces.JaCoP.JaCoPutilSpaceIter< U extends Addable< U > >.JaCoPutilSpaceIter	(	JaCoPutilSpace< U >	space,
		String[]	variables,
		AddableInteger	domains[][],
		AddableInteger[]	assignments )

Constructor.

Parameters

space	the space over which to iterate
variables	the variable order for the iteration
domains	the domains of the variables
assignments	An array that will be used as the output of nextSolution()