Module momba_explore::model

Data structures for representing automaton networks.

Structs

Assignment
Automaton
AutomatonReference
BinaryExpression
BooleanExpression
ClockConstraint
ComparisonExpression
ComprehensionExpression
ConditionalExpression
ConstantExpression
Declarations
Destination
DestinationReference
Edge
EdgeReference
Guard
IndexExpression
LabeledPattern	Represents a labeled pattern.
Link
LinkPattern
Location
LocationReference
NameExpression	Represents a name expression.
Network	Represents a network of automata.
ReadArgument
State
TrigonometricExpression
UnaryExpression
VectorExpression
WriteArgument

Enums

ActionPattern	Represents an action pattern.
BinaryOperator	Operators for binary expressions.
BooleanOperator	Operators for boolean expressions.
Clock
ComparisonOperator
Expression	Represents an expression.
LinkResult
PatternArgument	Represents a pattern argument.
TrigonometricFunction
Type	Possible data types of MombaIR values.
UnaryOperator
Value

Type Definitions

LabelIndex

The index of an action label relative to Declarations.