Expand description
Factory methods for building a valid GeneralThresholdAutomaton
This module contains the builder GeneralThresholdAutomatonBuilder for a
GeneralThresholdAutomaton. The builder will ensure that the threshold
automaton is valid, e.g., ensure that all variables in expressions are
declared.
Structs§
- General
Threshold Automaton Builder - Builder for constructing a
GeneralThresholdAutomaton - Initialized
General Threshold Automaton Builder - A builder for a threshold automaton where parameters, variables, and locations have already been added and are now fixed.
- Rule
Builder - Builder to construct rules for threshold automata
Enums§
- Action
Builder Error - Custom Error type for a failed construction of an action
- Builder
Error - Errors that can occur during the construction of a threshold automaton
- Invalid
Update Error - Custom Error type to indicate a malformed update expression