Module general_threshold_automaton 

Module implementing the most general form of threshold automata GeneralThresholdAutomaton.

This module contains the definition of the GeneralThresholdAutomaton type, which represents the most general form of a threshold automaton. This type can represent any threshold automaton, including those with variable comparisons, non-linear arithmetic thresholds and reset actions.

Usually automata are expected to be parsed in to this form, and can then be transformed into a more restricted form, such as for example a super::lia_threshold_automaton::LIAThresholdAutomaton.

Modules

builder

Factory methods for building a valid GeneralThresholdAutomaton

Structs

Action

Action on a shared variables

GeneralThresholdAutomaton

Type representing a general threshold automaton that can include variable comparisons, general non-linear arithmetic guards and as well as reset actions.

Rule

Rule type for a GeneralThresholdAutomaton

Enums

UpdateExpression

Expressions defining an update to shared variables