Package | Description |
---|---|
org.chocosolver.solver.explanations |
Modifier and Type | Method and Description |
---|---|
ArrayEventStore |
ExplanationEngine.getEventStore() |
default ArrayEventStore |
IExplanationEngine.getEventStore() |
Modifier and Type | Method and Description |
---|---|
boolean |
RuleStore.match(int idx,
ArrayEventStore eventStore)
Return true if the event represented by matches one of the active rules.
|
void |
RuleStore.update(int idx,
ArrayEventStore eventStore,
Explanation explanation)
Update the rule store, and the explanation, wrt a given event
|
Copyright © 2018. All rights reserved.