choco.cp.solver.goals
Class GoalSearchSolver

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

Deprecated.

@Deprecated
public class GoalSearchSolver
extends AbstractGlobalSearchStrategy

Created by IntelliJ IDEA. User: grochart Date: 19 mai 2007


Field Summary
protected  ChoicePoint currentChoice
          Deprecated.  
protected  int currentChoiceIndex
          Deprecated.  
protected  List<Goal> currentGoalStack
          Deprecated.  
protected  boolean globalContradiction
          Deprecated.  
protected  List<choco.cp.solver.goals.GoalSearchSolver.GoalTrace> goalTraceStack
          Deprecated.  
protected  Goal mainGoal
          Deprecated.  
 
Fields inherited from class choco.kernel.solver.search.AbstractGlobalSearchStrategy
baseWorld, currentTraceIndex, DOWN_BRANCH, encounteredLimit, INIT_SEARCH, initialPropagation, limitManager, 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
GoalSearchSolver(Solver s, Goal mainGoal)
          Deprecated.  
 
Method Summary
 ChoicePoint lastChoicePoint()
          Deprecated.  
 Boolean nextSolution()
          Deprecated.  
 Goal popGoal()
          Deprecated.  
 void popGoalTrace()
          Deprecated.  
 void pushGoal(Goal g)
          Deprecated.  
 void pushGoalTrace()
          Deprecated.  
 void setGlobalContradiction()
          Deprecated.  
 
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, 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
 

Field Detail

mainGoal

protected final Goal mainGoal
Deprecated. 

goalTraceStack

protected List<choco.cp.solver.goals.GoalSearchSolver.GoalTrace> goalTraceStack
Deprecated. 

currentGoalStack

protected List<Goal> currentGoalStack
Deprecated. 

currentChoice

protected ChoicePoint currentChoice
Deprecated. 

currentChoiceIndex

protected int currentChoiceIndex
Deprecated. 

globalContradiction

protected boolean globalContradiction
Deprecated. 
Constructor Detail

GoalSearchSolver

public GoalSearchSolver(Solver s,
                        Goal mainGoal)
Deprecated. 
Method Detail

setGlobalContradiction

public void setGlobalContradiction()
Deprecated. 

pushGoalTrace

public void pushGoalTrace()
Deprecated. 

popGoalTrace

public void popGoalTrace()
Deprecated. 

lastChoicePoint

public ChoicePoint lastChoicePoint()
Deprecated. 

popGoal

public Goal popGoal()
Deprecated. 

pushGoal

public void pushGoal(Goal g)
Deprecated. 

nextSolution

public Boolean nextSolution()
Deprecated. 
Overrides:
nextSolution in class AbstractGlobalSearchStrategy


Copyright © 2012. All Rights Reserved.