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

Derivable visitors
[Algorithms for LTL formulae]


Classes

class  spot::ltl::clone_visitor
 Clone a formula. More...
class  spot::ltl::unabbreviate_logic_visitor
 Clone and rewrite a formula to remove most of the abbreviated logical operators. More...
class  spot::ltl::postfix_visitor
 Apply an algorithm on each node of an AST, during a postfix traversal. More...
class  spot::ltl::simplify_f_g_visitor
 Replace true U f and false R g by F f and G g. More...
class  spot::ltl::unabbreviate_ltl_visitor
 Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators. More...

Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Apr 8 21:17:31 2005 for spot by doxygen 1.4.0