spot
1.99.3
|
Classes | |
class | spot::ltl::atomic_prop |
Atomic propositions. More... | |
class | spot::ltl::binop |
Binary operator. More... | |
class | spot::ltl::bunop |
Bounded unary operator. More... | |
class | spot::ltl::constant |
A constant (True or False) More... | |
class | spot::ltl::formula |
An LTL formula. More... | |
struct | spot::ltl::formula::ltl_prop |
class | spot::ltl::multop |
Multi-operand operators. More... | |
struct | spot::ltl::multop::paircmp |
Comparison functor used internally by ltl::multop. More... | |
class | spot::ltl::unop |
Unary operators. More... | |
Enumerations | |
enum | spot::ltl::binop::type { Xor, Implies, Equiv, spot::ltl::binop::U, spot::ltl::binop::R, spot::ltl::binop::W, spot::ltl::binop::M, spot::ltl::binop::EConcat, spot::ltl::binop::EConcatMarked, spot::ltl::binop::UConcat } |
enum | type { Star, FStar } |
enum | type { False, True, EmptyWord } |
enum | spot::ltl::formula::opkind { Constant, AtomicProp, UnOp, BinOp, MultOp, BUnOp } |
Kind of a sub-formula. More... | |
enum | type { Or, OrRat, And, AndRat, AndNLM, Concat, Fusion } |
enum | type { Not, X, F, G, Closure, NegClosure, NegClosureMarked } |
Kind of a sub-formula.
Different kinds of binary opertaors
And and Or are not here. Because they are often nested we represent them as multops.