tesla::Expression Struct Reference

Detailed Description

A temporal expression.

e.g. previously(foo) || eventually(bar)

This is a union type.

Definition at line 107 of file tesla.proto.

Collaboration diagram for tesla::Expression:

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

Member Enumeration Documentation

enum tesla::Expression::Type

Enumerator
BOOLEAN_EXPR
NOW
SUB_AUTOMATON

Definition at line 108 of file tesla.proto.

            {
    BOOLEAN_EXPR = 1; SEQUENCE = 2; NULL_EXPR = 3;
    NOW = 4; FUNCTION = 5; FIELD_ASSIGN = 6;
    SUB_AUTOMATON = 7;
  };

Member Data Documentation

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.

optional NowEvent tesla::Expression::now = 4

Definition at line 117 of file tesla.proto.

optional Sequence tesla::Expression::sequence = 3

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

---

The documentation for this struct was generated from the following file:

• tesla/common/tesla.proto