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 Mon Jan 31 12:55:19 2005 for spot by doxygen 1.4.0