Interface | Description |
---|---|
IEventType |
An interface to define event to categorize the filtering algorithm to apply.
|
Enum | Description |
---|---|
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. |
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)
|
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,
|
SetEventType |
An enum defining the set variable event types:
ADD_TO_KER : value enforcing event,
REMOVE_FROM_ENVELOPE : value removal event,
|
Copyright © 2018. All rights reserved.