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

LTL Abstract Syntax Tree
[LTL formulae]


Classes

class  spot::ltl::atomic_prop
 Atomic propositions. More...
class  spot::ltl::binop
 Binary operator. More...
class  spot::ltl::constant
 A constant (True or False). More...
class  spot::ltl::formula
 An LTL formula. More...
class  spot::ltl::multop
 Multi-operand operators. More...
class  spot::ltl::ref_formula
 A reference-counted LTL formula. More...
class  spot::ltl::unop
 Unary operators. More...

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