spot
1.99.3
|
Classes | |
class | spot::ltl::formula |
An LTL formula. More... | |
struct | spot::ltl::formula::ltl_prop |
struct | spot::ltl::visitor |
Formula visitor. More... | |
class | spot::ltl::environment |
An environment that describes atomic propositions. More... | |