Classes

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.The only way you can work with a formula is to build a spot::ltl::visitor or spot::ltl::const_visitor. More...
class  spot::ltl::multop
 Multi-operand operators.These operators are considered commutative and associative. 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 Feb 1 2011 12:00:53 for spot by doxygen 1.7.1