A temporal expression.
e.g. previously(foo) || eventually(bar)
This is a union type.
Definition at line 107 of file tesla.proto.
Public Types | |
enum | Type { BOOLEAN_EXPR = 1, NOW = 4, SUB_AUTOMATON = 7 } |
Public Attributes | |
enum tesla::Expression::Type | type = 1 |
optional BooleanExpr | booleanExpr = 2 |
optional Sequence | sequence = 3 |
optional NowEvent | now = 4 |
optional FunctionEvent | function = 5 |
optional FieldAssignment | fieldAssign = 6 |
optional Identifier | subAutomaton = 7 |
optional BooleanExpr tesla::Expression::booleanExpr = 2 |
Definition at line 115 of file tesla.proto.
optional FieldAssignment tesla::Expression::fieldAssign = 6 |
Definition at line 119 of file tesla.proto.
optional FunctionEvent tesla::Expression::function = 5 |
Definition at line 118 of file tesla.proto.
Definition at line 117 of file tesla.proto.
Definition at line 116 of file tesla.proto.
optional Identifier tesla::Expression::subAutomaton = 7 |
Definition at line 120 of file tesla.proto.
enum tesla::Expression::Type tesla::Expression::type = 1 |