Used to signal the end of a computation.
Use to signal that a computation was killed.
Use to signal that a computation was killed.
After signaling a Killed
event the underlying computation is not
allowed to signal any further events.
Used to signal the start of a (longer-running) computation.
Used to signal the start of a (longer-running) computation. Each computation that signals a start must also signal an end of the computation.
Characterizes the type of an event related to a running analysis.
ProgressManagement for further details.