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

ltlast/visitor.hh File Reference

LTL visitor interface. More...

#include "predecl.hh"

Include dependency graph for visitor.hh:

Include dependency graph

This graph shows which files directly or indirectly include this file:

Included by dependency graph

Go to the source code of this file.

Namespaces

namespace  spot
namespace  spot::ltl

Classes

struct  spot::ltl::visitor
 Formula visitor that can modify the formula. More...
struct  spot::ltl::const_visitor
 Formula visitor that cannot modify the formula. More...


Detailed Description

LTL visitor interface.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Aug 13 14:42:28 2004 for spot by doxygen 1.3.8