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.
Generated on Tue Jul 17 15:14:07 2007 for spot by doxygen 1.5.2