choco.palm.dbt.search
Class PalmSolution

java.lang.Object
  choco.Solution
      choco.palm.dbt.search.PalmSolution

public class PalmSolution
extends Solution

Solution for a Palm problem.

Field Summary

protected int[]

lstat Statistics for this solution (CPU, extensiions...).

Fields inherited from class choco.Solution

intVarValues, logger, objectiveValue, problem, realVarValues, setVarValues

Constructor Summary

PalmSolution(AbstractProblem pb)
Creates a solution for the specified problem.

Method Summary

int	getStatistic(int stat) Returns a statistic about the solution.
int	getValue(int idx) Returns the value of the variable idx.
void	recordStatistic(int statIndex, int statValue)
java.lang.String	toString() Pretty display of the solution.

Methods inherited from class choco.Solution

getRealValue, getSetValue, recordIntObjective, recordIntValue, recordRealValue, recordSetValue, restore

Methods inherited from class java.lang.Object

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

Field Detail

lstat

protected int[] lstat

Statistics for this solution (CPU, extensiions...).

Constructor Detail

PalmSolution

public PalmSolution(AbstractProblem pb)

Creates a solution for the specified problem.

Method Detail

recordStatistic

public void recordStatistic(int statIndex,
                            int statValue)

getStatistic

public int getStatistic(int stat)

Returns a statistic about the solution.

Parameters:

stat - The statitic constant (PalmProblem.RLX/EXT/CPU).

getValue

public int getValue(int idx)

Returns the value of the variable idx.

Overrides:

getValue in class Solution

Parameters:

idx - the variable number

Returns:

the value of the variable

toString

public java.lang.String toString()

Pretty display of the solution.

Overrides:

toString in class java.lang.Object