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