#include <spot/tl/formula.hh>
Operator types.
| Enumerator |
|---|
| ff | False.
|
| tt | True.
|
| eword | Empty word.
|
| ap | Atomic proposition.
|
| Not | Negation.
|
| X | Next.
|
| F | Eventually.
|
| G | Globally.
|
| Closure | PSL Closure.
|
| NegClosure | Negated PSL Closure.
|
| NegClosureMarked | marked version of the Negated PSL Clusure
|
| Xor | Exclusive Or.
|
| Implies | Implication.
|
| Equiv | Equivalence.
|
| U | until
|
| R | release (dual of until)
|
| W | weak until
|
| M | strong release (dual of weak until)
|
| EConcat | Seq.
|
| EConcatMarked | Seq, Marked.
|
| UConcat | Triggers.
|
| Or | (omega-Rational) Or
|
| OrRat | Rational Or.
|
| And | (omega-Rational) And
|
| AndRat | Rational And.
|
| AndNLM | Non-Length-Matching Rational-And.
|
| Concat | Concatenation.
|
| Fusion | Fusion.
|
| Star | Star.
|
| FStar | Fustion Star.
|