visitor.hh File Reference

LTL visitor interface. More...

#include "predecl.hh"

Include dependency graph for visitor.hh:

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

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 Tue Jul 17 15:13:27 2007 for spot by doxygen 1.5.2