choco.real.search
Class RealOptimizeWithRestarts

java.lang.Object
  choco.AbstractEntity
      choco.AbstractSolver
          choco.search.AbstractGlobalSearchSolver
              choco.real.search.AbstractRealOptimize
                  choco.real.search.RealOptimizeWithRestarts

All Implemented Interfaces:

Entity

public class RealOptimizeWithRestarts
extends AbstractRealOptimize

J-CHOCO Copyright (C) F. Laburthe, 1999-2003

An open-source Constraint Programming Kernel for Research and Education

Created by: Guillaume on 20 juil. 2004

Field Summary

protected int	baseNbSol counting the overall number of solutions
protected int	nbBkTot total nb of backtracks (all trees in the optimization process)
protected int	nbIter counting the number of iterations
protected int	nbNdTot total nb of nodes expanded in all trees

Fields inherited from class choco.real.search.AbstractRealOptimize

doMaximize, lowerBound, objective, targetLowerBound, targetUpperBound, upperBound

Fields inherited from class choco.search.AbstractGlobalSearchSolver

baseWorld, currentTraceIndex, DOWN_BRANCH, encounteredLimit, INIT_SEARCH, limits, loggingMaxDepth, mainGoal, nbSolutions, nextMove, OPEN_NODE, stopAtFirstSol, traceStack, UP_BRANCH

Fields inherited from class choco.AbstractSolver

logger, maxNbSolutionStored, solutions

Fields inherited from class choco.AbstractEntity

hook, problem

Constructor Summary

RealOptimizeWithRestarts(RealVar obj, boolean maximize)

Method Summary

void	endTreeSearch() called before a new search tree is explored
void	newTreeSearch() called before a new search tree is explored
void	run() Deprecated. replaced by the incrementalRun

Methods inherited from class choco.real.search.AbstractRealOptimize

getBestObjectiveValue, getObjectiveTarget, getObjectiveValue, initBounds, postDynamicCut, postTargetBound, postTargetLowerBound, postTargetUpperBound, recordSolution, setBound, setTargetBound, setTargetLowerBound, setTargetUpperBound

Methods inherited from class choco.search.AbstractGlobalSearchSolver

endTreeNode, getEncounteredLimit, incrementalRun, isEncounteredLimit, newTreeNode, nextSolution, popTrace, popTraceUntil, printRuntimeStatistics, pushTrace, setLoggingMaxDepth, topTrace

Methods inherited from class choco.AbstractSolver

existsSolution, makeSolutionFromCurrentState, restoreBestSolution, showSolution, storeSolution

Methods inherited from class choco.AbstractEntity

getProblem, pretty

Methods inherited from class java.lang.Object

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

Field Detail

nbIter

protected int nbIter

counting the number of iterations

baseNbSol

protected int baseNbSol

counting the overall number of solutions

nbBkTot

protected int nbBkTot

total nb of backtracks (all trees in the optimization process)

nbNdTot

protected int nbNdTot

total nb of nodes expanded in all trees

Constructor Detail

RealOptimizeWithRestarts

public RealOptimizeWithRestarts(RealVar obj,
                                boolean maximize)

Method Detail

newTreeSearch

public void newTreeSearch()
                   throws ContradictionException

Description copied from class: AbstractGlobalSearchSolver

called before a new search tree is explored

Overrides:

newTreeSearch in class AbstractGlobalSearchSolver

Throws:

ContradictionException

endTreeSearch

public void endTreeSearch()

called before a new search tree is explored

Overrides:

endTreeSearch in class AbstractGlobalSearchSolver

run

public void run()

Deprecated. replaced by the incrementalRun

Description copied from class: AbstractGlobalSearchSolver

main entry point: searching for one solution Note: the initial propagation must be done before pushing any world level. It is therefore kept before restoring a solution

Overrides:

run in class AbstractGlobalSearchSolver