|
spot
1.2.6
|
Classes | |
| class | spot::ltl::formula |
| An LTL formula. More... | |
| struct | spot::ltl::visitor |
| Formula visitor. More... | |
| class | spot::ltl::environment |
| An environment that describes atomic propositions. More... | |
Functions | |
| SPOT_API SPOT_DEPRECATED const formula * | spot::ltl::clone (const formula *f) __attribute__((deprecated)) |
| Clone a formula. More... | |
| SPOT_API SPOT_DEPRECATED void | spot::ltl::destroy (const formula *f) |
| Destroys a formula. More... | |
| SPOT_API SPOT_DEPRECATED const formula* spot::ltl::clone | ( | const formula * | f) |
Clone a formula.
| SPOT_API SPOT_DEPRECATED void spot::ltl::destroy | ( | const formula * | f) |
Destroys a formula.
1.8.4