Terminator

class Terminator

Polled by every backend and by preprocessing at the same points as interrupt(). It must not throw: an exception from it unwinds through the engine, which is an engine failure (INTERNAL, RESOURCE for std::bad_alloc) that poisons the manager.

Public Functions

virtual ~Terminator() = default

virtual bool terminate() = 0

true: stop; the check returns unknown(INTERRUPTED)