spot
1.2.6
|
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... | |
class | spot::ltl::multop |
Multi-operand operators. More... | |
class | spot::ltl::ref_formula |
A reference-counted LTL formula. More... | |
class | spot::ltl::unop |
Unary operators. More... | |