Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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* clone const formula *  f  ) 
 

Clone a formula.

void destroy const formula *  f  ) 
 

Destroys a formula.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:55:19 2005 for spot by doxygen 1.4.0