choco.cp.solver.search
Class BranchAndBound

java.lang.Object
  extended by choco.kernel.solver.search.AbstractSearchStrategy
      extended by choco.kernel.solver.search.AbstractGlobalSearchStrategy
          extended by choco.kernel.solver.search.AbstractOptimize
              extended by choco.cp.solver.search.BranchAndBound
All Implemented Interfaces:
ISearchMeasures, ISolutionMeasures

public class BranchAndBound
extends AbstractOptimize


Field Summary
 
Fields inherited from class choco.kernel.solver.search.AbstractOptimize
doMaximize, objective, objManager
 
Fields inherited from class choco.kernel.solver.search.AbstractGlobalSearchStrategy
baseWorld, currentTraceIndex, DOWN_BRANCH, encounteredLimit, INIT_SEARCH, initialPropagation, limitManager, mainGoal, nextMove, OPEN_NODE, RESTART, searchLoop, shavingTools, STOP, stopAtFirstSol, traceStack, UP_BRANCH
 
Fields inherited from class choco.kernel.solver.search.AbstractSearchStrategy
LOGGER, nbSolutions, solutionPool, solver
 
Constructor Summary
BranchAndBound(Solver solver, IntDomainVar objective, boolean maximize)
          Builds a new optimizing strategy with the specified variable.
 
Method Summary
 
Methods inherited from class choco.kernel.solver.search.AbstractOptimize
advancedInitialPropagation, bottomUpSearch, getObjectiveManager, incrementalRun, newFeasibleRootState, nextSolution, partialRuntimeStatistics, postDynamicCut, recordSolution, restoreBestSolution, runtimeStatistics, writeSolution
 
Methods inherited from class choco.kernel.solver.search.AbstractGlobalSearchStrategy
clearTrace, endTreeSearch, getBackTrackCount, getCurrentTraceIndex, getEncounteredLimit, getFailCount, getLimitManager, getNodeCount, getRestartCount, getReusableInitialTrace, getSearchLoop, getShavingTools, getTimeCount, getTrace, getTraceSize, initialPropagation, initialTrace, initMainGoal, isEncounteredLimit, isFeasibleRootState, isTraceEmpty, newTreeSearch, popTrace, pushTrace, setEncounteredLimit, setLimitManager, setSearchLoop, setShavingTools, topDownSearch, topTrace
 
Methods inherited from class choco.kernel.solver.search.AbstractSearchStrategy
existsSolution, getSolutionCount, getSolutionPool, getSolver, getStoredSolutions, resetSolutions, setSolutionPool
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.search.measure.ISearchMeasures
getSolutionCount
 

Constructor Detail

BranchAndBound

public BranchAndBound(Solver solver,
                      IntDomainVar objective,
                      boolean maximize)
Builds a new optimizing strategy with the specified variable.

Parameters:
solver -
maximize - states if the objective variable should be maximized
configuration -


Copyright © 2012. All Rights Reserved.