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.