Conditional optimal assignment(s) to several variables. More...

Inheritance diagram for frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments:

[legend]

Public Member Functions
String	toString ()
void	augment (AddableInteger[] variablesValues, ArrayList< AddableInteger > utilityValue)
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	changeVariablesOrder (String[] variablesOrder)
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	clone ()
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	compose (String[] vars, BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > substitution)
boolean	equivalent (BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > space)
Class< ArrayList< AddableInteger > >	getClassOfU ()
ArrayList< AddableInteger >	getDefaultUtility ()
ArrayList< AddableInteger >	getUtility (AddableInteger[] variablesValues)
ArrayList< AddableInteger >	getUtility (String[] variablesNames, AddableInteger[] variablesValues)
ArrayList< AddableInteger >	getUtility (Map< String, AddableInteger > assignments)
ArrayList< AddableInteger >	getUtility (long index)
boolean	isIncludedIn (BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > space)
BasicUtilitySolutionSpace.Iterator< AddableInteger, ArrayList< AddableInteger > >	iterator ()
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	resolve ()
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	resolve (boolean unused)
BasicUtilitySolutionSpace.Iterator< AddableInteger, ArrayList< AddableInteger > >	iterator (String[] variables, AddableInteger[][] domains)
Iterator< AddableInteger, ArrayList< AddableInteger > >	iterator (String[] variables, AddableInteger[][] domains, AddableInteger[] assignment)
SparseIterator< AddableInteger, ArrayList< AddableInteger > >	sparseIter ()
SparseIterator< AddableInteger, ArrayList< AddableInteger > >	sparseIter (String[] order)
SparseIterator< AddableInteger, ArrayList< AddableInteger > >	sparseIter (String[] variables, AddableInteger[][] domains)
SparseIterator< AddableInteger, ArrayList< AddableInteger > >	sparseIter (String[] variables, AddableInteger[][] domains, AddableInteger[] assignment)
String	prettyPrint (ArrayList< AddableInteger > ignoredUtil)
void	setDefaultUtility (ArrayList< AddableInteger > utility)
void	setInfeasibleUtility (ArrayList< AddableInteger > utility)
boolean	setUtility (AddableInteger[] variablesValues, ArrayList< AddableInteger > utility)
void	setUtility (long index, ArrayList< AddableInteger > utility)
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	slice (String[] variablesNames, AddableInteger[][] subDomains)
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	slice (String[] variablesNames, AddableInteger[] assignments)
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	slice (String var, AddableInteger[] subDomain)
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	slice (String var, AddableInteger assignment)
BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	slice (AddableInteger[] assignments)
void	augment (AddableInteger[] assignments)
AddableInteger[]	getDomain (String variable)
AddableInteger[]	getDomain (int index)
AddableInteger[]	getDomain (String variable, int index)
AddableInteger[][]	getDomains ()
int	getIndex (String variable)
String	getName ()
long	getNumberOfSolutions ()
int	getNumberOfVariables ()
String	getVariable (int index)
String[]	getVariables ()
BasicUtilitySolutionSpace.Iterator< AddableInteger, ArrayList< AddableInteger > >	iterator (String[] order)
SolutionSpace< AddableInteger >	join (SolutionSpace< AddableInteger > space, String[] totalVariables)
SolutionSpace< AddableInteger >	join (SolutionSpace< AddableInteger > space)
SolutionSpace< AddableInteger >	join (SolutionSpace< AddableInteger >[] spaces, String[] totalVariablesOrder)
SolutionSpace< AddableInteger >	join (SolutionSpace< AddableInteger >[] spaces)
boolean	knows (Class<?> spaceClass)
void	renameVariable (String oldName, String newName)
void	setDomain (String var, AddableInteger[] dom)
void	setName (String name)
String	getRelationName ()
SolutionSpace< AddableInteger >	renameAllVars (String[] newVarNames)
void	setRelationName (String name)
String	getOwner ()
void	setOwner (String owner)
void	setProblem (ProblemInterface< AddableInteger, ?> problem)
boolean	countsCCs ()
Public Member Functions inherited from frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >
String	prettyPrint (U ignoredUtil)
	A human-friendly version of toString().
U	getUtility (V[] variables_values)
	Returns an object representing the utility value corresponding to the provided variables values representing a solution.
U	getUtility (String[] variables_names, V[] variables_values)
	Returns an object representing the utility value corresponding to the provided variables values representing a solution.
U	getUtility (Map< String, V > assignments)
	Returns the utility corresponding to the input assignments.
boolean	setUtility (V[] variables_values, U utility)
	Sets the utility value corresponding to a given assignment to variables.
void	setUtility (long index, U utility)
	Sets the utility value for the solution at the provided index.
void	setDefaultUtility (U utility)
	Sets the default utility value.
void	setInfeasibleUtility (U utility)
	Sets the utility associated with infeasible solutions.
void	augment (V[] variables_values, U utility_value)
	Augments this BasicUtilitySolutionSpace with a new combination of variables values associated with a given utility.
boolean	equivalent (BasicUtilitySolutionSpace< V, U > space)
	Returns whether the input BasicUtilitySolutionSpace represents the same space as this BasicUtilitySolutionSpace.
boolean	isIncludedIn (BasicUtilitySolutionSpace< V, U > space)
	Checks if this BasicUtilitySolutionSpace is included in the provided BasicUtilitySolutionSpace.
BasicUtilitySolutionSpace< V, U >	slice (String[] variables_names, V[][] sub_domains)
	Returns a slice of this BasicUtilitySolutionSpace.
BasicUtilitySolutionSpace< V, U >	slice (String[] variables_names, V[] values)
	Returns a slice of this BasicUtilitySolutionSpace.
BasicUtilitySolutionSpace< V, U >	slice (String var, V[] subDomain)
	Slices this SolutionSpace over a single variable.
BasicUtilitySolutionSpace< V, U >	slice (String var, V val)
	Slices this BasicUtilitySolutionSpace over a single variable-value assignment.
BasicUtilitySolutionSpace< V, U >	slice (V[] variables_values)
	Returns a slice of this solution space.
BasicUtilitySolutionSpace< V, U >	compose (String[] vars, BasicUtilitySolutionSpace< V, ArrayList< V > > substitution)
	Substitutes some of the variables in this utility space with functions.
SparseIterator< V, U >	sparseIter (String[] variables, V[][] domains)
	Returns a sparse iterator.
SparseIterator< V, U >	sparseIter (String[] variables, V[][] domains, V[] assignment)
	Returns a sparse iterator.
Iterator< V, U >	iterator (String[] variables, V[][] domains)
	Returns an iterator.
Iterator< V, U >	iterator (String[] variables, V[][] domains, V[] assignment)
	Returns an iterator.
Public Member Functions inherited from frodo2.solutionSpaces.SolutionSpace< V >
void	setProblem (ProblemInterface< V, ?> problem)
	Sets the problem that should be notified of constraint checks.
boolean	countsCCs ()
String	getName ()
void	setName (String name)
	Sets the name of this space.
String	getRelationName ()
void	setRelationName (String name)
	Sets the name of the underlying relation for this space.
String	getOwner ()
void	setOwner (String owner)
	Sets the owner.
long	getNumberOfSolutions ()
	Returns the number of solutions in the SolutionSpace.
String[]	getVariables ()
	Returns the internal order of variables used within the SolutionSpace.
int	getNumberOfVariables ()
	Returns the number of variables in the SolutionSpace.
String	getVariable (int index)
	Returns the variable corresponding to the provided index.
void	renameVariable (String oldName, String newName)
	Renames a variable.
SolutionSpace< V >	renameAllVars (String[] newVarNames)
	Creates a shallow clone of this space, with different variable names.
int	getIndex (String variable)
	Returns the index of the input variable in this SolutionSpace.
V[][]	getDomains ()
	Returns the array containing the domains of the variables.
V[]	getDomain (String variable)
	Returns an array of all possible values that the variable provided as a parameter can take in this SolutionSpace.
void	setDomain (String var, V[] dom)
	Sets the domain of a variable.
void	augment (V[] variables_values)
	Augments the SolutionSpace with a new combination of variable values which constitutes a new solution.
SolutionSpace< V >	slice (String[] variables_names, V[][] sub_domains)
	Returns a slice of this SolutionSpace.
boolean	knows (Class<?> spaceClass)
	Returns whether this space knows how to handle other spaces of the input class.
SolutionSpace< V >	join (SolutionSpace< V > space, String[] total_variables)
	Returns a SolutionSpace object obtained by joining this SolutionSpace object with the one provided as a parameter.
boolean	equals (Object o)
	Checks for equality.
SolutionSpace< V >	clone ()
SolutionSpace< V >	resolve ()
SparseIterator< V >	sparseIter ()
Iterator< V >	iterator ()

Package Functions
	JaCoPoptAssignments (JaCoPutilSpace<?> space, IntVarCloneable[] vars, IntVarCloneable[] varsOut)
	Constructor.

Package Attributes
HashMap< String, AddableInteger[]>	allDoms
	The variable names, including the projected out and sliced out variables, but excluding the valuation variable.

Private Attributes
final JaCoPutilSpace<?>	space
	The space from which variables were projected out.
final IntVarCloneable[]	vars
	The variables in the separator.
final IntVarCloneable[]	projectedVars
	The projected variables for which we want to search the assignments given an assignment.

Static Private Attributes
static final long	serialVersionUID = 2713289252460722989L
	Used for serialization.

Detailed Description

Conditional optimal assignment(s) to several variables.

Author: Thomas Leaute

Constructor & Destructor Documentation

◆ JaCoPoptAssignments()

frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.JaCoPoptAssignments	(	JaCoPutilSpace<?>	space,
		IntVarCloneable[]	vars,
		IntVarCloneable[]	varsOut )

package

Constructor.

Parameters

space	The space from which variables were projected out
vars	The variables in the separator
varsOut	The variables that were projected

References space, and vars.

Member Function Documentation

◆ augment() [1/2]

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.augment ( AddableInteger[] assignments )

See also: SolutionSpace#augment(Addable[])

Todo: Auto-generated method stub

◆ augment() [2/2]

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.augment	(	AddableInteger[]	variablesValues,
		ArrayList< AddableInteger >	utilityValue )

See also: BasicUtilitySolutionSpace.augment(Addable[], java.io.Serializable)

Todo: Auto-generated method stub

◆ changeVariablesOrder()

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.changeVariablesOrder ( String[] variablesOrder )

See also: BasicUtilitySolutionSpace.changeVariablesOrder(java.lang.String[])

Todo: Auto-generated method stub

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

◆ clone()

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.clone ( )

See also: Object#clone()

Todo: Auto-generated method stub

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

◆ compose()

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.compose	(	String[]	vars,
		BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > >	substitution )

See also: BasicUtilitySolutionSpace.compose(java.lang.String[], BasicUtilitySolutionSpace)

Todo: Auto-generated method stub

References vars.

◆ countsCCs()

boolean frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.countsCCs ( )

See also: SolutionSpace.countsCCs()

◆ equivalent()

boolean frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.equivalent ( BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > space )

See also: BasicUtilitySolutionSpace#equivalent(BasicUtilitySolutionSpace)

Todo: Auto-generated method stub

References space.

◆ getClassOfU()

Class< ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getClassOfU ( )

See also: BasicUtilitySolutionSpace.getClassOfU()

Todo: Auto-generated method stub

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

◆ getDefaultUtility()

ArrayList< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getDefaultUtility ( )

See also: BasicUtilitySolutionSpace.getDefaultUtility()

Todo: Auto-generated method stub

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

◆ getDomain() [1/3]

AddableInteger[] frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getDomain ( int index )

See also: SolutionSpace.getDomain(int)

Todo: Auto-generated method stub

◆ getDomain() [2/3]

AddableInteger[] frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getDomain ( String variable )

See also: SolutionSpace.getDomain(java.lang.String)

Todo: Auto-generated method stub

◆ getDomain() [3/3]

AddableInteger[] frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getDomain	(	String	variable,
		int	index )

See also: SolutionSpace.getDomain(java.lang.String, int)

Todo: Auto-generated method stub

◆ getDomains()

AddableInteger[][] frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getDomains ( )

See also: SolutionSpace.getDomains()

Referenced by resolve().

◆ getIndex()

int frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getIndex ( String variable )

See also: SolutionSpace.getIndex(java.lang.String)

Todo: Auto-generated method stub

◆ getName()

String frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getName ( )

See also: SolutionSpace.getName()

Todo: Auto-generated method stub

◆ getNumberOfSolutions()

long frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getNumberOfSolutions ( )

See also: SolutionSpace.getNumberOfSolutions()

References allDoms.

Referenced by getUtility(), and resolve().

◆ getNumberOfVariables()

int frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getNumberOfVariables ( )

See also: SolutionSpace.getNumberOfVariables()

◆ getOwner()

String frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getOwner ( )

See also: frodo2.solutionSpaces.SolutionSpace.getOwner()

Todo: Auto-generated method stub

◆ getRelationName()

String frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getRelationName ( )

See also: SolutionSpace.getRelationName()

Todo: Auto-generated method stub

◆ getUtility() [1/4]

ArrayList< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getUtility ( AddableInteger[] variablesValues )

See also: BasicUtilitySolutionSpace#getUtility(Addable[])

Todo: the condition vars.length != 0 is necessary as we do not use explicit ScalarHypercube

References frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.getProjVarDomain(), frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.imposeConstraints(), frodo2.solutionSpaces.AddableInteger.intValue(), frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.isConsistent, projectedVars, space, frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.store, and vars.

Referenced by getUtility(), getUtility(), and resolve().

Here is the call graph for this function:

◆ getUtility() [2/4]

ArrayList< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getUtility ( long index )

See also: BasicUtilitySolutionSpace.getUtility(long)

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

References allDoms, getNumberOfSolutions(), getUtility(), and vars.

Here is the call graph for this function:

◆ getUtility() [3/4]

ArrayList< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getUtility ( Map< String, AddableInteger > assignments )

See also: BasicUtilitySolutionSpace.getUtility(java.util.Map)

Todo: Auto-generated method stub

◆ getUtility() [4/4]

ArrayList< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getUtility	(	String[]	variablesNames,
		AddableInteger[]	variablesValues )

See also: BasicUtilitySolutionSpace.getUtility(java.lang.String[], Addable[])

References getUtility(), and vars.

Here is the call graph for this function:

◆ getVariable()

String frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getVariable ( int index )

See also: SolutionSpace.getVariable(int)

Todo: Auto-generated method stub

◆ getVariables()

String[] frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.getVariables ( )

See also: SolutionSpace.getVariables()

Referenced by resolve().

◆ isIncludedIn()

boolean frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.isIncludedIn ( BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > space )

See also: BasicUtilitySolutionSpace#isIncludedIn(BasicUtilitySolutionSpace)

Todo: Auto-generated method stub

References space.

◆ iterator() [1/4]

BasicUtilitySolutionSpace.Iterator< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.iterator ( )

See also: BasicUtilitySolutionSpace.iterator()

Todo: Auto-generated method stub

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

◆ iterator() [2/4]

BasicUtilitySolutionSpace.Iterator< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.iterator ( String[] order )

See also: BasicUtilitySolutionSpace.iterator(java.lang.String[])

Todo: Auto-generated method stub

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

◆ iterator() [3/4]

BasicUtilitySolutionSpace.Iterator< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.iterator	(	String[]	variables,
		AddableInteger	domains[][] )

See also: BasicUtilitySolutionSpace.iterator(java.lang.String[], Addable[][])

Todo: Auto-generated method stub

◆ iterator() [4/4]

Iterator< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.iterator	(	String[]	variables,
		AddableInteger	domains[][],
		AddableInteger[]	assignment )

See also: BasicUtilitySolutionSpace.iterator(java.lang.String[], Addable[][], Addable[])

Todo: Auto-generated method stub

◆ join() [1/4]

SolutionSpace< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.join ( SolutionSpace< AddableInteger > space )

See also: SolutionSpace#join(SolutionSpace)

Todo: Auto-generated method stub

References space.

◆ join() [2/4]

SolutionSpace< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.join	(	SolutionSpace< AddableInteger >	space,
		String[]	totalVariables )

See also: SolutionSpace.join(SolutionSpace, java.lang.String[])

Todo: Auto-generated method stub

References space.

◆ join() [3/4]

SolutionSpace< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.join ( SolutionSpace< AddableInteger >[] spaces )

See also: SolutionSpace#join(SolutionSpace[])

Todo: Auto-generated method stub

◆ join() [4/4]

SolutionSpace< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.join	(	SolutionSpace< AddableInteger >[]	spaces,
		String[]	totalVariablesOrder )

See also: SolutionSpace.join(SolutionSpace[], java.lang.String[])

Todo: Auto-generated method stub

◆ knows()

boolean frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.knows ( Class<?> spaceClass )

See also: SolutionSpace.knows(java.lang.Class)

Todo: Auto-generated method stub

◆ prettyPrint()

String frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.prettyPrint ( ArrayList< AddableInteger > ignoredUtil )

See also: BasicUtilitySolutionSpace.prettyPrint(java.io.Serializable)

Todo: Auto-generated method stub

◆ renameAllVars()

SolutionSpace< AddableInteger > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.renameAllVars ( String[] newVarNames )

See also: SolutionSpace.renameAllVars(java.lang.String[])

Todo: Auto-generated method stub

◆ renameVariable()

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.renameVariable	(	String	oldName,
		String	newName )

See also: SolutionSpace.renameVariable(java.lang.String, java.lang.String)

Todo: Auto-generated method stub

◆ resolve() [1/2]

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.resolve ( )

See also: BasicUtilitySolutionSpace.resolve()

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

References resolve().

Referenced by resolve().

Here is the call graph for this function:

◆ resolve() [2/2]

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.resolve ( boolean unused )

See also: BasicUtilitySolutionSpace.resolve(boolean)

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

References getDomains(), getNumberOfSolutions(), getUtility(), getVariables(), and frodo2.solutionSpaces.hypercube.ScalarBasicSpaceIter< V extends Addable< V >, U extends Serializable >.hasNext().

Here is the call graph for this function:

◆ setDefaultUtility()

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setDefaultUtility ( ArrayList< AddableInteger > utility )

See also: BasicUtilitySolutionSpace.setDefaultUtility(java.io.Serializable)

Todo: Auto-generated method stub

◆ setDomain()

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setDomain	(	String	var,
		AddableInteger[]	dom )

See also: SolutionSpace.setDomain(java.lang.String, Addable[])

Todo: Auto-generated method stub

◆ setInfeasibleUtility()

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setInfeasibleUtility ( ArrayList< AddableInteger > utility )

See also: BasicUtilitySolutionSpace.setInfeasibleUtility(java.io.Serializable)

Todo: Auto-generated method stub

◆ setName()

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setName ( String name )

See also: SolutionSpace.setName(java.lang.String)

Todo: Auto-generated method stub

◆ setOwner()

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setOwner ( String owner )

See also: frodo2.solutionSpaces.SolutionSpace.setOwner(java.lang.String)

Todo: Auto-generated method stub

◆ setProblem()

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setProblem ( ProblemInterface< AddableInteger, ?> problem )

See also: SolutionSpace#setProblem(ProblemInterface)

◆ setRelationName()

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setRelationName ( String name )

See also: SolutionSpace.setRelationName(java.lang.String)

Todo: Auto-generated method stub

◆ setUtility() [1/2]

boolean frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setUtility	(	AddableInteger[]	variablesValues,
		ArrayList< AddableInteger >	utility )

See also: BasicUtilitySolutionSpace.setUtility(Addable[], java.io.Serializable)

Todo: Auto-generated method stub

◆ setUtility() [2/2]

void frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.setUtility	(	long	index,
		ArrayList< AddableInteger >	utility )

See also: BasicUtilitySolutionSpace.setUtility(long, java.io.Serializable)

Todo: Auto-generated method stub

◆ slice() [1/5]

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.slice ( AddableInteger[] assignments )

See also: BasicUtilitySolutionSpace#slice(Addable[])

Todo: Auto-generated method stub

◆ slice() [2/5]

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.slice	(	String	var,
		AddableInteger	assignment )

See also: BasicUtilitySolutionSpace.slice(java.lang.String, Addable)

Todo: Auto-generated method stub

◆ slice() [3/5]

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.slice	(	String	var,
		AddableInteger[]	subDomain )

See also: BasicUtilitySolutionSpace.slice(java.lang.String, Addable[])

Todo: Auto-generated method stub

◆ slice() [4/5]

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.slice	(	String[]	variablesNames,
		AddableInteger[]	assignments )

See also: BasicUtilitySolutionSpace.slice(java.lang.String[], Addable[])

Todo: Auto-generated method stub

◆ slice() [5/5]

BasicUtilitySolutionSpace< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.slice	(	String[]	variablesNames,
		AddableInteger	subDomains[][] )

See also: BasicUtilitySolutionSpace.slice(java.lang.String[], Addable[][])

Todo: Auto-generated method stub

◆ sparseIter() [1/4]

SparseIterator< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.sparseIter ( )

See also: BasicUtilitySolutionSpace.sparseIter()

Todo: Auto-generated method stub

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

◆ sparseIter() [2/4]

SparseIterator< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.sparseIter ( String[] order )

See also: BasicUtilitySolutionSpace.sparseIter(java.lang.String[])

Todo: Auto-generated method stub

Implements frodo2.solutionSpaces.BasicUtilitySolutionSpace< V extends Addable< V >, U extends Serializable >.

◆ sparseIter() [3/4]

SparseIterator< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.sparseIter	(	String[]	variables,
		AddableInteger	domains[][] )

See also: BasicUtilitySolutionSpace.sparseIter(java.lang.String[], Addable[][])

Todo: Auto-generated method stub

◆ sparseIter() [4/4]

SparseIterator< AddableInteger, ArrayList< AddableInteger > > frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.sparseIter	(	String[]	variables,
		AddableInteger	domains[][],
		AddableInteger[]	assignment )

See also: BasicUtilitySolutionSpace.sparseIter(java.lang.String[], Addable[][], Addable[])

Todo: Auto-generated method stub

◆ toString()

String frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.toString ( )

See also: java.lang.Object#toString()

Member Data Documentation

◆ allDoms

HashMap<String, AddableInteger[]> frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.allDoms

package

The variable names, including the projected out and sliced out variables, but excluding the valuation variable.

Referenced by getNumberOfSolutions(), and getUtility().

◆ projectedVars

final IntVarCloneable [] frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.projectedVars

private

The projected variables for which we want to search the assignments given an assignment.

Referenced by getUtility().

◆ serialVersionUID

final long frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.serialVersionUID = 2713289252460722989L

staticprivate

Used for serialization.

◆ space

final JaCoPutilSpace<?> frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.space

private

The space from which variables were projected out.

Referenced by equivalent(), getUtility(), isIncludedIn(), JaCoPoptAssignments(), join(), and join().

◆ vars

final IntVarCloneable [] frodo2.solutionSpaces.JaCoP.JaCoPoptAssignments.vars

private

The variables in the separator.

Referenced by compose(), getUtility(), getUtility(), getUtility(), and JaCoPoptAssignments().

The documentation for this class was generated from the following file:

src/frodo2/solutionSpaces/JaCoP/JaCoPoptAssignments.java

Public Member Functions

Package Functions

Package Attributes

Private Attributes

Static Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ JaCoPoptAssignments()

Member Function Documentation

◆ augment() [1/2]

◆ augment() [2/2]

◆ changeVariablesOrder()

◆ clone()

◆ compose()

◆ countsCCs()

◆ equivalent()

◆ getClassOfU()

◆ getDefaultUtility()

◆ getDomain() [1/3]

◆ getDomain() [2/3]

◆ getDomain() [3/3]

◆ getDomains()

◆ getIndex()

◆ getName()

◆ getNumberOfSolutions()

◆ getNumberOfVariables()

◆ getOwner()

◆ getRelationName()

◆ getUtility() [1/4]

◆ getUtility() [2/4]

◆ getUtility() [3/4]

◆ getUtility() [4/4]

◆ getVariable()

◆ getVariables()

◆ isIncludedIn()

◆ iterator() [1/4]

◆ iterator() [2/4]

◆ iterator() [3/4]

◆ iterator() [4/4]

◆ join() [1/4]

◆ join() [2/4]

◆ join() [3/4]

◆ join() [4/4]

◆ knows()

◆ prettyPrint()

◆ renameAllVars()

◆ renameVariable()

◆ resolve() [1/2]

◆ resolve() [2/2]

◆ setDefaultUtility()

◆ setDomain()

◆ setInfeasibleUtility()

◆ setName()

◆ setOwner()

◆ setProblem()

◆ setRelationName()

◆ setUtility() [1/2]

◆ setUtility() [2/2]

◆ slice() [1/5]

◆ slice() [2/5]

◆ slice() [3/5]

◆ slice() [4/5]

◆ slice() [5/5]

◆ sparseIter() [1/4]

◆ sparseIter() [2/4]

◆ sparseIter() [3/4]

◆ sparseIter() [4/4]

◆ toString()

Member Data Documentation

◆ allDoms

◆ projectedVars

◆ serialVersionUID

◆ space

◆ vars