Module rtlola_interpreter::config
source · [−]Expand description
This module contains all configuration related structures.
Structs
Config combines an RTLola specification in RtLolaMir form with various configuration parameters for the interpreter.
A configuration struct containing all information (including type information) to initialize a Monitor.
Enums
The different supported input sources of the interpreter.
The execution mode of the interpreter. See the README for more details.
Used to define the level of statistics that should be computed.
The different verbosities supported by the interpreter.