Modifier and Type | Method and Description |
---|---|
void |
Propagator.forcePropagate(PropagatorEventType evt)
Schedules a coarse propagation to filter all variables at once.
|
Modifier and Type | Method and Description |
---|---|
default void |
IPropagationEngine.delayedPropagation(Propagator propagator,
PropagatorEventType type)
Exeucte a delayed propagator
|
Modifier and Type | Method and Description |
---|---|
void |
TwoBucketPropagationEngine.delayedPropagation(Propagator propagator,
PropagatorEventType type) |
void |
SevenQueuesPropagatorEngine.delayedPropagation(Propagator propagator,
PropagatorEventType type) |
Modifier and Type | Method and Description |
---|---|
static PropagatorEventType |
PropagatorEventType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PropagatorEventType[] |
PropagatorEventType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Copyright © 2017. All rights reserved.