#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.
|