choco.cp.solver.search
Class GoalSearchLoop
java.lang.Object
choco.kernel.solver.search.AbstractSearchLoop
choco.cp.solver.search.GoalSearchLoop
- All Implemented Interfaces:
- ISearchLoop
public class GoalSearchLoop
- extends AbstractSearchLoop
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
mainGoal
protected final Goal mainGoal
currentChoice
protected ChoicePoint currentChoice
currentGoalStack
protected List<Goal> currentGoalStack
currentChoiceIndex
protected int currentChoiceIndex
goalTraceStack
protected List<choco.cp.solver.search.GoalSearchLoop.GoalTrace> goalTraceStack
globalContradiction
protected boolean globalContradiction
GoalSearchLoop
public GoalSearchLoop(AbstractGlobalSearchStrategy searchStrategy,
Goal mainGoal)
setGlobalContradiction
public void setGlobalContradiction()
initLoop
public void initLoop()
- Specified by:
initLoop
in class AbstractSearchLoop
endLoop
public Boolean endLoop()
- Specified by:
endLoop
in class AbstractSearchLoop
initialize
public void initialize()
- Specified by:
initialize
in interface ISearchLoop
- Overrides:
initialize
in class AbstractSearchLoop
getNodeCount
public final int getNodeCount()
- Overrides:
getNodeCount
in class AbstractSearchLoop
popGoal
public Goal popGoal()
pushGoal
public void pushGoal(Goal g)
openNode
public void openNode()
- Specified by:
openNode
in class AbstractSearchLoop
popGoalTrace
public void popGoalTrace()
upBranch
public void upBranch()
- Specified by:
upBranch
in class AbstractSearchLoop
pushGoalTrace
public void pushGoalTrace()
downBranch
public void downBranch()
- Specified by:
downBranch
in class AbstractSearchLoop
restart
public void restart()
- Specified by:
restart
in class AbstractSearchLoop
initSearch
public void initSearch()
- Specified by:
initSearch
in class AbstractSearchLoop
Copyright © 2012. All Rights Reserved.