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