Uses of Class
org.chocosolver.solver.search.strategy.decision.Decision
-
-
Uses of Decision in org.chocosolver.solver.objective
Methods in org.chocosolver.solver.objective that return Decision Modifier and Type Method Description Decision<IntVar>
ObjectiveStrategy. getDecision()
-
Uses of Decision in org.chocosolver.solver.search.strategy
Methods in org.chocosolver.solver.search.strategy that return Decision Modifier and Type Method Description Decision<IntVar>
BoundSearch. getDecision()
-
Uses of Decision in org.chocosolver.solver.search.strategy.decision
Subclasses of Decision in org.chocosolver.solver.search.strategy.decision Modifier and Type Class Description class
IbexDecision
A decision that delegates the search process to Ibexclass
IntDecision
A decision based on aIntVar
class
RealDecision
A decision based on aRealVar
that splits the domain in two ranges.class
RootDecision
class
SetDecision
A decision based on aSetVar
Methods in org.chocosolver.solver.search.strategy.decision that return Decision Modifier and Type Method Description Decision<E>
Decision. duplicate()
Decision
DecisionPath. getDecision(int i)
Return the decision in position i in this decision path, or null if no decision exists at that position.Decision
DecisionPath. getLastDecision()
Retrieves, but not removes, the last decision of the decision path.Decision<E>
Decision. setRefutable(boolean isRefutable)
Indicate whether or not this decision can be refuted if set to false, if the decision(e.g. x=3) fails instead of backtracking once and applying its negation (e.g. x!Methods in org.chocosolver.solver.search.strategy.decision with parameters of type Decision Modifier and Type Method Description boolean
Decision. isEquivalentTo(Decision dec)
boolean
IntDecision. isEquivalentTo(Decision dec)
void
DecisionPath. pushDecision(Decision decision)
Add a decision at the decision path.Method parameters in org.chocosolver.solver.search.strategy.decision with type arguments of type Decision Modifier and Type Method Description void
DecisionPath. transferInto(Collection<Decision> aList, boolean includeRootDecision)
Add all decisions of this decision path into a list of decision -
Uses of Decision in org.chocosolver.solver.search.strategy.selectors.variables
Methods in org.chocosolver.solver.search.strategy.selectors.variables that return Decision Modifier and Type Method Description Decision<IntVar>
ActivityBased. computeDecision(IntVar variable)
Decision<IntVar>
DomOverWDeg. computeDecision(IntVar variable)
Decision<IntVar>
ImpactBased. computeDecision(IntVar variable)
Decision<IntVar>
ActivityBased. getDecision()
Decision<IntVar>
DomOverWDeg. getDecision()
Decision<IntVar>
ImpactBased. getDecision()
-
Uses of Decision in org.chocosolver.solver.search.strategy.strategy
Methods in org.chocosolver.solver.search.strategy.strategy that return Decision Modifier and Type Method Description protected Decision<V>
AbstractStrategy. computeDecision(V var)
Computes a decision to be applied to variable var This method should be implemented in order to use search patternsDecision<V>
FindAndProve. computeDecision(V variable)
Decision<IntVar>
FullyRandom. computeDecision(IntVar variable)
Decision
GreedyBranching. computeDecision(Variable variable)
Decision<IntVar>
IntStrategy. computeDecision(IntVar variable)
Decision<RealVar>
RealStrategy. computeDecision(RealVar variable)
Decision<SetVar>
SetStrategy. computeDecision(SetVar s)
Decision<Variable>
StrategiesSequencer. computeDecision(Variable variable)
abstract Decision<V>
AbstractStrategy. getDecision()
Provides access to the current decision in the strategy.Decision<V>
ConflictOrderingSearch. getDecision()
Decision<V>
FindAndProve. getDecision()
Decision
GreedyBranching. getDecision()
Decision<IntVar>
IntStrategy. getDecision()
Decision<V>
LastConflict. getDecision()
Decision
RealStrategy. getDecision()
Decision<SetVar>
SetStrategy. getDecision()
Decision
StrategiesSequencer. getDecision()
Provides access to the current decision in the strategy.
-