choco.palm.real.search
Class PalmRealBranchAndBound

java.lang.Object
  choco.AbstractEntity
      choco.AbstractSolver
          choco.search.AbstractGlobalSearchSolver
              choco.search.Solve
                  choco.palm.dbt.search.PalmGlobalSearchSolver
                      choco.palm.dbt.search.PalmAbstractBranchAndBound
                          choco.palm.real.search.PalmRealBranchAndBound

All Implemented Interfaces:

Entity

public class PalmRealBranchAndBound
extends PalmAbstractBranchAndBound

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 double	lowerBound Some bounds for search use.
protected double	optimum Optimum value found during the search.
protected double	upperBound Some bounds for search use.

Fields inherited from class choco.palm.dbt.search.PalmAbstractBranchAndBound

dynamicCuts, maximizing, objective

Fields inherited from class choco.palm.dbt.search.PalmGlobalSearchSolver

extending, feasible, finished, learning, LIMIT_NODES, LIMIT_TIME, repairing, state

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

PalmRealBranchAndBound(AbstractProblem pb, RealVar obj, boolean max)
Creates the solver for the specified problepb.

Method Summary

Constraint	getDynamicCut()
java.lang.Number	getOptimumValue()

Methods inherited from class choco.palm.dbt.search.PalmAbstractBranchAndBound

postDynamicCut, run, runonce

Methods inherited from class choco.palm.dbt.search.PalmGlobalSearchSolver

attachPalmBranchings, attachPalmExtend, attachPalmLearn, attachPalmRepair, attachPalmState, endTreeSearch, extend, getExtending, getLearning, getLimit, getNbLimit, getNodeLimit, getState, getTimeLimit, isFinished, newTreeSearch, recordSolution, repair, reset, setFinished, setNodeLimit, setTimeLimit

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

lowerBound

protected double lowerBound

Some bounds for search use.

upperBound

protected double upperBound

Some bounds for search use.

optimum

protected double optimum

Optimum value found during the search.

Constructor Detail

PalmRealBranchAndBound

public PalmRealBranchAndBound(AbstractProblem pb,
                              RealVar obj,
                              boolean max)

Creates the solver for the specified problepb.

Method Detail

getDynamicCut

public Constraint getDynamicCut()

Specified by:

getDynamicCut in class PalmAbstractBranchAndBound

getOptimumValue

public java.lang.Number getOptimumValue()

Specified by:

getOptimumValue in class PalmAbstractBranchAndBound