A boolean combination of expressions (with equal precedence).
Definition at line 124 of file tesla.proto.
Public Types | |
enum | Operation { BE_And = 1, BE_Xor = 3 } |
Public Attributes | |
enum tesla::BooleanExpr::Operation | operation = 1 |
repeated Expression | expression = 2 |
Enumerator | |
---|---|
BE_And | |
BE_Xor |
Definition at line 125 of file tesla.proto.
repeated Expression tesla::BooleanExpr::expression = 2 |
Definition at line 128 of file tesla.proto.
enum tesla::BooleanExpr::Operation tesla::BooleanExpr::operation = 1 |