spot  1.0
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::bunop
 Bounded unary 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. More...
class  spot::ltl::ref_formula
 A reference-counted LTL formula. More...
class  spot::ltl::unop
 Unary operators. More...

Detailed Description


Please comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2