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

spot::ltl::const_visitor Struct Reference

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

#include <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:
Generated on Tue Jan 13 18:22:30 2004 for spot by doxygen 1.3.5