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