choco.cp.solver.search
Class GlobalSearchStrategy

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

public final class GlobalSearchStrategy
extends AbstractGlobalSearchStrategy


Field Summary
 
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
GlobalSearchStrategy(Solver solver)
           
 
Method Summary
 
Methods inherited from class choco.kernel.solver.search.AbstractGlobalSearchStrategy
advancedInitialPropagation, clearTrace, endTreeSearch, getBackTrackCount, getCurrentTraceIndex, getEncounteredLimit, getFailCount, getLimitManager, getNodeCount, getObjectiveManager, getRestartCount, getReusableInitialTrace, getSearchLoop, getShavingTools, getTimeCount, getTrace, getTraceSize, incrementalRun, initialPropagation, initialTrace, initMainGoal, isEncounteredLimit, isFeasibleRootState, isTraceEmpty, newFeasibleRootState, newTreeSearch, nextSolution, partialRuntimeStatistics, popTrace, postDynamicCut, pushTrace, recordSolution, runtimeStatistics, setEncounteredLimit, setLimitManager, setSearchLoop, setShavingTools, topDownSearch, topTrace, writeSolution
 
Methods inherited from class choco.kernel.solver.search.AbstractSearchStrategy
existsSolution, getSolutionCount, getSolutionPool, getSolver, getStoredSolutions, resetSolutions, restoreBestSolution, 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

GlobalSearchStrategy

public GlobalSearchStrategy(Solver solver)


Copyright © 2012. All Rights Reserved.