Expand description
Data structures for representing automaton networks.
Structs§
- Assignment
- Automaton
- Automaton
Reference - Binary
Expression - Boolean
Expression - Clock
Constraint - Comparison
Expression - Comprehension
Expression - Conditional
Expression - Constant
Expression - Declarations
- Destination
- Destination
Reference - Edge
- Edge
Reference - Guard
- Index
Expression - Labeled
Pattern - Represents a labeled pattern.
- Link
- Link
Pattern - Location
- Location
Reference - Name
Expression - Represents a name expression.
- Network
- Represents a network of automata.
- Read
Argument - State
- Trigonometric
Expression - Unary
Expression - Vector
Expression - Write
Argument
Enums§
- Action
Pattern - Represents an action pattern.
- Binary
Operator - Operators for binary expressions.
- Boolean
Operator - Operators for boolean expressions.
- Clock
- Comparison
Operator - Expression
- Represents an expression.
- Link
Result - Pattern
Argument - Represents a pattern argument.
- Trigonometric
Function - Type
- Possible data types of MombaIR values.
- Unary
Operator - Value
Type Aliases§
- Label
Index - The index of an action label relative to Declarations.