Modifier and Type | Method and Description |
---|---|
boolean |
PropNogoods.why(RuleStore ruleStore,
IntVar ivar,
IEventType evt,
int ivalue) |
boolean |
PropSat.why(RuleStore ruleStore,
IntVar bvar,
IEventType evt,
int bvalue) |
Modifier and Type | Method and Description |
---|---|
default boolean |
ICause.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value)
Add new rules to the rule store
|
Modifier and Type | Method and Description |
---|---|
boolean |
Propagator.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropEqualX_YC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropSquare.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropDistanceXYC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotEqualX_Y.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropAbsolute.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotEqualX_YC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualX_YC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualX_Y.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualX_Y.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropLessOrEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropElement.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropBinAC3bitrm.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropKnapsack.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropAllDiffInst.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropAllDiffBC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropClauseChanneling.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropInverseChannelAC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropCount_AC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropCountVar.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropElementV_fast.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropSum.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropXltCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXneYReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXltYCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXeqCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXeqYReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXgtCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXneCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXltYReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropTimesNaive.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropMaxBC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropMinBC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropLessOrEqualXC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualXC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotMemberEnum.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropMemberEnum.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotMemberBound.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotEqualXC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropMemberBound.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualXC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
default RuleStore |
IExplanationEngine.getRuleStore() |
RuleStore |
ExplanationEngine.getRuleStore() |
Modifier and Type | Method and Description |
---|---|
boolean |
IntDecision.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
default boolean |
IntVar.why(RuleStore ruleStore,
IntVar modifiedVar,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
BoolNotView.why(RuleStore ruleStore,
IntVar modifiedVar,
IEventType evt,
int value) |
boolean |
IntView.why(RuleStore ruleStore,
IntVar modifiedVar,
IEventType evt,
int value) |
Copyright © 2018. All rights reserved.