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

spot::ltl::const_visitor Struct Reference

Formula visitor that cannot modify the formula. More...

#include <ltlast/visitor.hh>

List of all members.

Public Member Functions

virtual void visit (const atomic_prop *node)=0
virtual void visit (const constant *node)=0
virtual void visit (const binop *node)=0
virtual void visit (const unop *node)=0
virtual void visit (const multop *node)=0


Detailed Description

Formula visitor that cannot modify the formula.

Writing visitors is the prefered way to traverse a formula, since it doesn't involve any cast.

If you want to modify the visited formula, inherit from spot::ltl:visitor instead.


Member Function Documentation

virtual void spot::ltl::const_visitor::visit const multop node  )  [pure virtual]
 

virtual void spot::ltl::const_visitor::visit const unop node  )  [pure virtual]
 

virtual void spot::ltl::const_visitor::visit const binop node  )  [pure virtual]
 

virtual void spot::ltl::const_visitor::visit const constant node  )  [pure virtual]
 

virtual void spot::ltl::const_visitor::visit const atomic_prop node  )  [pure virtual]
 


The documentation for this struct was generated from the following file:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:56:11 2005 for spot by doxygen 1.4.0