Modifier and Type | Method and Description |
---|---|
void |
Explanation.addDecision(Decision decision)
Add a decision, which explains, partially, the situation
|
void |
RuleStore.freeDecisionExplanation(Decision decision)
Free the explanation related to the decision (for efficiency purpose only)
|
default void |
IExplanationEngine.freeDecisionExplanation(Decision decision)
Free the explanation related to the decision (for efficiency purpose only)
|
void |
ExplanationEngine.freeDecisionExplanation(Decision decision)
Free the explanation related to the decision (for efficiency purpose only)
|
Explanation |
RuleStore.getDecisionRefutation(Decision decision)
Get the explanation associated with a decision refutation
|
default Explanation |
IExplanationEngine.getDecisionRefutationExplanation(Decision decision)
Get the explanation of a decision refutation
|
Explanation |
ExplanationEngine.getDecisionRefutationExplanation(Decision decision)
Get the explanation of a decision refutation
|
void |
RuleStore.moveDecisionRefutation(Decision decision,
int to)
Move a decision refutation to the 'to' index
|
default void |
IExplanationEngine.moveDecisionRefutation(Decision decision,
int to)
Move a decision explanation from the old index to the new one.
|
void |
ExplanationEngine.moveDecisionRefutation(Decision decision,
int to)
Move a decision explanation from the old index to the new one.
|
void |
Explanation.remove(Decision decision)
Remove one decision from the set of decisions explaining the situation
|
default void |
IExplanationEngine.storeDecisionExplanation(Decision decision,
Explanation explanation)
Store a decision refutation, for future reasoning.
|
void |
ExplanationEngine.storeDecisionExplanation(Decision decision,
Explanation explanation)
Store a decision refutation, for future reasoning.
|
void |
RuleStore.storeDecisionRefutation(Decision decision,
Explanation explanation)
Store a decision refutation, for future reasoning.
|
Modifier and Type | Method and Description |
---|---|
Decision |
ObjectiveStrategy.getDecision() |
Modifier and Type | Method and Description |
---|---|
Decision |
BoundSearch.getDecision() |
Modifier and Type | Class and Description |
---|---|
class |
IntDecision
A decision based on a
IntVar
|
class |
RealDecision
A decision based on a
RealVar
|
class |
RootDecision
|
class |
SetDecision
A decision based on a
SetVar |
Modifier and Type | Method and 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!
|
Modifier and Type | Method and Description |
---|---|
boolean |
IntDecision.isEquivalentTo(Decision dec) |
boolean |
Decision.isEquivalentTo(Decision dec) |
void |
DecisionPath.pushDecision(Decision decision)
Add a decision at the decision path.
|
Modifier and Type | Method and Description |
---|---|
void |
DecisionPath.transferInto(Collection<Decision> aList,
boolean includeRootDecision)
Add all decisions of this decision path into a list of decision
|
Modifier and Type | Method and Description |
---|---|
Decision<IntVar> |
ImpactBased.computeDecision(IntVar variable) |
Decision<IntVar> |
DomOverWDeg.computeDecision(IntVar variable) |
Decision<IntVar> |
ActivityBased.computeDecision(IntVar variable) |
Decision<IntVar> |
ImpactBased.getDecision() |
Decision<IntVar> |
DomOverWDeg.getDecision() |
Decision<IntVar> |
ActivityBased.getDecision() |
Modifier and Type | Method and Description |
---|---|
Decision<IntVar> |
IntStrategy.computeDecision(IntVar variable) |
Decision<IntVar> |
FullyRandom.computeDecision(IntVar variable) |
Decision<RealVar> |
RealStrategy.computeDecision(RealVar variable) |
Decision<SetVar> |
SetStrategy.computeDecision(SetVar s) |
Decision<V> |
FindAndProve.computeDecision(V variable) |
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 patterns
|
Decision<Variable> |
StrategiesSequencer.computeDecision(Variable variable) |
Decision |
GreedyBranching.computeDecision(Variable variable) |
Decision |
StrategiesSequencer.getDecision()
Provides access to the current decision in the strategy.
|
Decision<SetVar> |
SetStrategy.getDecision() |
Decision |
RealStrategy.getDecision() |
Decision<Variable> |
LastConflict.getDecision() |
Decision |
IntStrategy.getDecision() |
Decision |
GreedyBranching.getDecision() |
Decision |
FindAndProve.getDecision() |
Decision<V> |
ConflictOrderingSearch.getDecision() |
abstract Decision<V> |
AbstractStrategy.getDecision()
Provides access to the current decision in the strategy.
|
Copyright © 2017. All rights reserved.