Essential LTL types
[LTL formulae]

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.

---

Function Documentation

formula* spot::ltl::clone

(

const formula *

f

)

Clone a formula.

void spot::ltl::destroy

(

const formula *

f

)

Destroys a formula.

---

Please comment this page and report errors about it on the RefDocComments page.