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