Package | Description |
---|---|
org.chocosolver.solver.explanations | |
org.chocosolver.solver.search.loop.learn |
Modifier and Type | Method and Description |
---|---|
default Explanation |
IExplanationEngine.explain(ContradictionException cex)
Compute the explanation of the last event from the event store (naturally, the one that leads to a conflict),
and return the explanation of the failure, that is, the (sub-)set of decisions and propagators explaining the conflict.
|
Explanation |
ExplanationEngine.explain(ContradictionException cex)
Compute the explanation of the last event from the event store (naturally, the one that leads to a conflict),
and return the explanation of the failure, that is, the (sub-)set of decisions and propagators explaining the conflict.
|
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
|
default Explanation |
IExplanationEngine.makeExplanation(boolean saveCauses) |
Explanation |
ExplanationEngine.makeExplanation(boolean saveCauses) |
Modifier and Type | Method and Description |
---|---|
void |
Explanation.addCausesAndDecisions(Explanation explanation)
Merge all causes and decisions from
explanation in this. |
void |
RuleStore.init(Explanation expl)
Initialize the rulestore for a new explanation
|
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.
|
void |
RuleStore.update(int idx,
ArrayEventStore eventStore,
Explanation explanation)
Update the rule store, and the explanation, wrt a given event
|
Modifier and Type | Field and Description |
---|---|
protected Explanation |
LearnExplained.lastExplanation
The last explanation computed.
|
Modifier and Type | Method and Description |
---|---|
Explanation |
LearnExplained.getLastExplanation()
Return the explanation of the last conflict
|
Copyright © 2018. All rights reserved.