Classes | |
class | spot::ltl::formula |
An LTL formula. More... | |
struct | spot::ltl::visitor |
Formula visitor that can modify the formula. More... | |
class | spot::ltl::environment |
An environment that describes atomic propositions. More... | |
Functions | |
formula * | spot::ltl::clone (const formula *f) |
Clone a formula. | |
void | spot::ltl::destroy (const formula *f) |
Destroys a formula. |
|
Clone a formula.
|
|
Destroys a formula.
|