spot
1.1.4
|
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 | |
const formula * | spot::ltl::clone (const formula *f) |
Clone a formula. More... | |
void | spot::ltl::destroy (const formula *f) |
Destroys a formula. More... | |
const formula* spot::ltl::clone | ( | const formula * | f) |
Clone a formula.
void spot::ltl::destroy | ( | const formula * | f) |
Destroys a formula.