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 |
PropNotEqualX_Y.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 |
PropDistanceXYC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropLessOrEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualX_YC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropAbsolute.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualX_Y.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotEqualX_YC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualX_Y.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) |
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 |
PropCountVar.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropCount_AC.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 |
PropXgtCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXeqCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXltYReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXltCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXneCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXneYReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXeqYReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropXltYCReif.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropMaxBC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropTimesNaive.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 |
PropMemberBound.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotEqualXC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropMemberEnum.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotMemberEnum.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropLessOrEqualXC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropNotMemberBound.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualXC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualXC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
IEventType |
ArrayEventStore.getEventType(int evt) |
Modifier and Type | Method and Description |
---|---|
void |
ArrayEventStore.pushEvent(IntVar var,
ICause cause,
IEventType mask,
int one,
int two,
int three)
Push an event on the top of this store
|
Modifier and Type | Method and Description |
---|---|
IEventType |
IEventStore.getEventType(int evt) |
Modifier and Type | Method and Description |
---|---|
void |
IEventStore.pushEvent(IntVar var,
ICause cause,
IEventType mask,
int one,
int two,
int three) |
Modifier and Type | Method and Description |
---|---|
void |
PropagationEngine.onVariableUpdate(Variable variable,
IEventType type,
ICause cause)
Take into account the modification of a variable
|
Modifier and Type | Method and Description |
---|---|
boolean |
IntDecision.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
void |
ActivityBased.onUpdate(IntVar var,
IEventType evt) |
Modifier and Type | Method and Description |
---|---|
<E extends IEventType> |
Variable._schedIter()
For scheduling purpose only
|
Modifier and Type | Method and Description |
---|---|
default IEventType |
IntVar.transformEvent(IEventType evt) |
Modifier and Type | Method and Description |
---|---|
void |
Variable.notifyMonitors(IEventType event)
Notify monitors of observed variable modifications
|
void |
Variable.notifyPropagators(IEventType event,
ICause cause)
If
this has changed, then notify all of its observers.Each observer has its update method. |
void |
Variable.notifyViews(IEventType event,
ICause cause)
Notify views of observed variable modifications
|
void |
IVariableMonitor.onUpdate(V var,
IEventType evt)
Operations to execute after updating the domain variable
|
default IEventType |
IntVar.transformEvent(IEventType evt) |
default boolean |
IntVar.why(RuleStore ruleStore,
IntVar modifiedVar,
IEventType evt,
int value) |
Modifier and Type | Class and Description |
---|---|
class |
IntEventType
An enum defining the integer variable event types:
IntEventType.REMOVE : value removal event,
IntEventType.INCLOW : lower bound increase event,
IntEventType.DECUPP : upper bound decrease event,
IntEventType.BOUND : lower bound increase and/or upper bound decrease event,
IntEventType.INSTANTIATE : variable instantiation event
Int event types are used with four different purposes. |
class |
PropagatorEventType
An enum defining the propagator event types:
FULL_PROPAGATION : Propagation from scratch (as in initial propagation),
CUSTOM_PROPAGATION : custom propagation triggered by the developer (partially incremental propagation)
|
class |
RealEventType
An enum defining the real variable event types:
INCLOW : lower bound increase event,
DECUPP : upper bound decrease event,
BOUND : lower bound increase and/or upper bound decrease event,
|
class |
SetEventType
An enum defining the set variable event types:
ADD_TO_KER : value enforcing event,
REMOVE_FROM_ENVELOPE : value removal event,
|
Modifier and Type | Method and Description |
---|---|
void |
SetVarImpl.notifyMonitors(IEventType event) |
void |
BitsetArrayIntVarImpl.notifyMonitors(IEventType event) |
void |
FixedIntVarImpl.notifyMonitors(IEventType event) |
void |
FixedRealVarImpl.notifyMonitors(IEventType event) |
void |
BitsetIntVarImpl.notifyMonitors(IEventType event) |
void |
RealVarImpl.notifyMonitors(IEventType event) |
void |
IntervalIntVarImpl.notifyMonitors(IEventType event) |
void |
BoolVarImpl.notifyMonitors(IEventType event) |
void |
FixedIntVarImpl.notifyPropagators(IEventType event,
ICause cause) |
void |
AbstractVariable.notifyPropagators(IEventType event,
ICause cause) |
void |
FixedIntVarImpl.notifyViews(IEventType event,
ICause cause) |
void |
AbstractVariable.notifyViews(IEventType event,
ICause cause) |
Modifier and Type | Method and Description |
---|---|
IEventType |
MinusView.transformEvent(IEventType evt) |
IEventType |
IntView.transformEvent(IEventType evt) |
IEventType |
RealView.transformEvent(IntEventType evt) |
Modifier and Type | Method and Description |
---|---|
void |
IView.notify(IEventType event)
To notify a view that the variable is observed has been modified.
|
void |
RealView.notify(IEventType event) |
void |
IntView.notify(IEventType event) |
void |
RealView.notifyMonitors(IEventType event) |
void |
IntView.notifyMonitors(IEventType event) |
IEventType |
MinusView.transformEvent(IEventType evt) |
IEventType |
IntView.transformEvent(IEventType evt) |
boolean |
BoolNotView.why(RuleStore ruleStore,
IntVar modifiedVar,
IEventType evt,
int value) |
boolean |
IntView.why(RuleStore ruleStore,
IntVar modifiedVar,
IEventType evt,
int value) |
Modifier and Type | Interface and Description |
---|---|
interface |
EvtScheduler<E extends IEventType>
Created by cprudhom on 17/06/15.
|
Copyright © 2018. All rights reserved.