Slide 16
Slide 16 text
INACTIVE
FIRING_ALL_RULES
FIRING_UNTIL_HALT
endFiring
fireAllRules / fireUntilHalt
fireUntilHalt
FORCE_HALTING
halt
REST_HALTING
tryHalt
tryHalt
endFiring
fireUntilHalt
EXECUTING_TASK
fireAllRules
executeTask
endExecution
FIRING or
REST_HALTING
PropagationQueue
yes => enqueue
no => execute
WAIT
fireAllRules
fireAllRules