Package | Description |
---|---|
org.chocosolver.solver.explanations | |
org.chocosolver.solver.explanations.store |
Modifier and Type | Field and Description |
---|---|
protected IEventStore |
ExplanationEngine.eventStore |
Modifier and Type | Method and Description |
---|---|
IEventStore |
ExplanationEngine.getEventStore() |
Modifier and Type | Method and Description |
---|---|
boolean |
RuleStore.match(int idx,
IEventStore eventStore)
Return true if the event represented by matches one of the active rules.
|
void |
RuleStore.update(int idx,
IEventStore eventStore,
Explanation explanation)
Update the rule store, and the explanation, wrt a given event
|
Modifier and Type | Class and Description |
---|---|
class |
ArrayEventStore
Created by cprudhom on 13/11/14.
|
Copyright © 2015. All rights reserved.