Expand description
Threshold Automaton with applied interval abstraction
This crate defines IntervalThresholdAutomaton which is a type representing
a threshold automaton to which interval abstraction has been applied. Guards
are abstracted to sets of symbolic intervals, depending on the interval
order that is used for the automaton.
This crate also provides the types for defining and working with intervals and implements an ordering mechanism for intervals.
Modules§
- builder
- Builder for interval threshold automaton
- interval
- Interval module defining intervals and interval order functionality
Structs§
- Interval
State - Interval state for a type
T - IntervalTA
Action - Action describing the effect of an action on an interval
- IntervalTA
Rule - Interval abstracted rule
- Interval
Threshold Automaton - Threshold automaton with guards abstracted to sets of intervals
Enums§
- Interval
Action Effect - Describes the effect of an action to the interval
- Interval
Constraint - Interval guard constraining the interval of evaluation of a variable or a sum of variables
- Interval
Constraint Construction Error - Error that can occur during the construction of an IntervalConstraint
- IntervalTA
Transformation Error - Errors that can occur when trying to construct an interval automaton from a general automaton
Traits§
- HasAssociated
Intervals - Trait marking types that can be abstracted by intervals