Skip to main contentModule engine
Source - Engine
- The enforcement engine — applies actions to situations with precondition checking.
- Trace
- A trace of actions applied to situations — full history for debugging.
- TraceEntry
- A single entry in the trace log.
- EngineError
- Error returned by
Engine::next(). - PreconditionResult
- Result of checking a precondition — both states carry context.
- Action
- An action transforms one situation into another.
- Precondition
- A precondition that must hold before an action can be applied.
- Situation
- A situation is a snapshot of the world at a point in time.