org.chocosolver.solver.search.solution

Class Solution

java.lang.Object

org.chocosolver.solver.search.solution.Solution

All Implemented Interfaces:

Serializable

public class Solution
extends Object
implements Serializable

Class which stores the value of each variable in a solution

Since:

05/06/2013

Author:

Jean-Guillaume Fages, Charles Prud'homme

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Solution()

Method Summary

Methods

Modifier and Type	Method and Description
Integer	getIntVal(IntVar v) Get the value of variable v in this solution
double[]	getRealBounds(RealVar r) Get the bounds of r in this solution
int[]	getSetVal(SetVar s) Get the value of variable s in this solution
boolean	hasBeenFound()
void	record(Solver solver) Records the current solution of the solver clears all previous recordings
void	restore() Set all variables to their respective value in the solution Throws an exception is this empties a domain (i.e. this domain does not contain the solution value) BEWARE: A restart might be required so that domains contain the solution values
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Solution

public Solution()

Method Detail

record

public void record(Solver solver)

Records the current solution of the solver clears all previous recordings

Parameters:

solver - a solver

restore

public void restore()
             throws ContradictionException

Set all variables to their respective value in the solution Throws an exception is this empties a domain (i.e. this domain does not contain the solution value)

BEWARE: A restart might be required so that domains contain the solution values

Throws:

ContradictionException

toString

public String toString()

Overrides:

toString in class Object

getIntVal

public Integer getIntVal(IntVar v)

Get the value of variable v in this solution

Parameters:

v - IntVar (or BoolVar)

Returns:

the value of variable v in this solution, or null if the variable is not instantiated in the solution

getSetVal

public int[] getSetVal(SetVar s)

Get the value of variable s in this solution

Parameters:

s - SetVar

Returns:

the value of variable s in this solution, or null if the variable is not instantiated in the solution

getRealBounds

public double[] getRealBounds(RealVar r)

Get the bounds of r in this solution

Parameters:

r - RealVar

Returns:

the bounds of r in this solution, or null if the variable is not instantiated in the solution

hasBeenFound

public boolean hasBeenFound()

Returns:

true iff this is a valid solution