spot
1.0.2
|
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.The only way you can work with a formula is to build a spot::ltl::visitor or spot::ltl::const_visitor. 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... |