choco.palm.dbt.search
Class PalmBranchAndBound

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.dbt.search.PalmBranchAndBound

All Implemented Interfaces:

Entity

public class PalmBranchAndBound
extends PalmAbstractBranchAndBound

An optimizing solver.

Field Summary

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

PalmBranchAndBound(AbstractProblem pb, IntDomainVar obj, boolean max)
Creates the solver for the specified problem.

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 int lowerBound

Some bounds for search use.

upperBound

protected int upperBound

Some bounds for search use.

optimum

protected int optimum

Optimum value found during the search.

Constructor Detail

PalmBranchAndBound

public PalmBranchAndBound(AbstractProblem pb,
                          IntDomainVar obj,
                          boolean max)

Creates the solver for the specified problem.

Method Detail

getDynamicCut

public Constraint getDynamicCut()

Specified by:

getDynamicCut in class PalmAbstractBranchAndBound

getOptimumValue

public java.lang.Number getOptimumValue()

Specified by:

getOptimumValue in class PalmAbstractBranchAndBound