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