spot
0.9.1
|
Classes | |
class | spot::ltl::formula |
An LTL formula.The only way you can work with a formula is to build a spot::ltl::visitor or spot::ltl::const_visitor. More... | |
struct | spot::ltl::visitor |
Formula visitorImplementing visitors is the prefered way to traverse a formula, since it does not involve any cast. More... | |
class | spot::ltl::environment |
An environment that describes atomic propositions. More... | |
Functions | |
const formula * | spot::ltl::clone (const formula *f) |
Clone a formula. | |
void | spot::ltl::destroy (const formula *f) |
Destroys a formula. |
const formula* spot::ltl::clone | ( | const formula * | f | ) |
Clone a formula.
void spot::ltl::destroy | ( | const formula * | f | ) |
Destroys a formula.