Modifier and Type | Method and Description |
---|---|
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 |
PropSquare.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 |
PropNotEqualX_Y.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropLessOrEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualX_YC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropGreaterOrEqualX_Y.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualXY_C.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualX_YC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropEqualX_Y.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropElement.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropDistanceXYC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropAbsolute.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 |
PropInverseChannelAC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropClauseChanneling.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropSat.why(RuleStore ruleStore,
IntVar bvar,
IEventType evt,
int bvalue) |
boolean |
PropNogoods.why(RuleStore ruleStore,
IntVar ivar,
IEventType evt,
int ivalue) |
Modifier and Type | Method and Description |
---|---|
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 |
PropSumEq.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropScalarEq.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropBoolSumIncremental.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropBoolSumCoarse.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropReif.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 |
PropMinBC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropMaxBC.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
PropNotMemberEnum.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 |
PropMemberEnum.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropMemberBound.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
PropLessOrEqualXC.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 |
IEventStore.getEventType(int evt) |
IEventType |
ArrayEventStore.getEventType(int evt) |
Modifier and Type | Method and Description |
---|---|
void |
IEventStore.pushEvent(IntVar var,
ICause cause,
IEventType mask,
int one,
int two,
int three) |
void |
ArrayEventStore.pushEvent(IntVar var,
ICause cause,
IEventType mask,
int one,
int two,
int three) |
Modifier and Type | Method and Description |
---|---|
boolean |
ObjectiveManager.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
void |
IPropagationEngine.onVariableUpdate(Variable variable,
IEventType type,
ICause cause)
Take into account the modification of a variable
|
static void |
IPropagationEngine.Trace.printModification(Variable v,
IEventType e,
ICause c) |
Modifier and Type | Method and Description |
---|---|
void |
TwoBucketPropagationEngine.onVariableUpdate(Variable variable,
IEventType type,
ICause cause) |
void |
SevenQueuesPropagatorEngine.onVariableUpdate(Variable variable,
IEventType type,
ICause cause) |
Modifier and Type | Method and Description |
---|---|
boolean |
LargeNeighborhoodSearch.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
RootDecision.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
boolean |
FastDecisionSet.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
FastDecisionReal.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
FastDecision.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
void |
DomOverWDeg.onUpdate(IntVar var,
IEventType evt) |
void |
ActivityBased.onUpdate(IntVar var,
IEventType evt) |
boolean |
ImpactBased.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
DomOverWDeg.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
ActivityBased.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Modifier and Type | Method and Description |
---|---|
void |
Variable.contradiction(ICause cause,
IEventType event,
String message)
Throws a contradiction exception based on
|
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. |
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
|
Modifier and Type | Class and Description |
---|---|
class |
IntEventType
An enum defining the integer variable event types:
REMOVE : value removal event,
INCLOW : lower bound increase event,
DECUPP : upper bound decrease event,
BOUND : lower bound increase and/or upper bound decrease event,
INSTANTIATE : variable instantiation event
|
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.contradiction(ICause cause,
IEventType event,
String message) |
void |
RealVarImpl.contradiction(ICause cause,
IEventType event,
String message) |
void |
IntervalIntVarImpl.contradiction(ICause cause,
IEventType event,
String message) |
void |
FixedSetVarImpl.contradiction(ICause cause,
IEventType event,
String message) |
void |
FixedIntVarImpl.contradiction(ICause cause,
IEventType event,
String message) |
void |
BoolVarImpl.contradiction(ICause cause,
IEventType event,
String message) |
void |
BitsetIntVarImpl.contradiction(ICause cause,
IEventType event,
String message) |
void |
BitsetArrayIntVarImpl.contradiction(ICause cause,
IEventType event,
String message) |
void |
SetVarImpl.notifyMonitors(IEventType event) |
void |
RealVarImpl.notifyMonitors(IEventType event) |
void |
IntervalIntVarImpl.notifyMonitors(IEventType event) |
void |
FixedSetVarImpl.notifyMonitors(IEventType event) |
void |
FixedIntVarImpl.notifyMonitors(IEventType event) |
void |
BoolVarImpl.notifyMonitors(IEventType event) |
void |
BitsetIntVarImpl.notifyMonitors(IEventType event) |
void |
BitsetArrayIntVarImpl.notifyMonitors(IEventType event) |
void |
FixedSetVarImpl.notifyPropagators(IEventType event,
ICause cause) |
void |
FixedIntVarImpl.notifyPropagators(IEventType event,
ICause cause) |
void |
AbstractVariable.notifyPropagators(IEventType event,
ICause cause) |
void |
FixedSetVarImpl.notifyViews(IEventType event,
ICause cause) |
void |
FixedIntVarImpl.notifyViews(IEventType event,
ICause cause) |
void |
AbstractVariable.notifyViews(IEventType event,
ICause cause) |
Modifier and Type | Method and Description |
---|---|
void |
RealView.contradiction(ICause cause,
IEventType event,
String message) |
void |
IntView.contradiction(ICause cause,
IEventType event,
String message) |
void |
RealView.notifyMonitors(IEventType event) |
void |
IntView.notifyMonitors(IEventType event) |
void |
RealView.transformEvent(IEventType evt,
ICause cause) |
void |
MinusView.transformEvent(IEventType evt,
ICause cause) |
void |
IView.transformEvent(IEventType evt,
ICause cause)
Transform the original event wrt the view
|
void |
IntView.transformEvent(IEventType evt,
ICause cause) |
boolean |
RealView.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
boolean |
IntView.why(RuleStore ruleStore,
IntVar var,
IEventType evt,
int value) |
Copyright © 2015. All rights reserved.