A boolean combination of expressions (with equal precedence).
Definition at line 124 of file tesla.proto.
Collaboration diagram for tesla::BooleanExpr: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 |