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

spot::ltl::postfix_visitor Class Reference

Apply an algorithm on each node of an AST, during a postfix traversal. More...

#include <postfix.hh>

Inheritance diagram for spot::ltl::postfix_visitor:

Inheritance graph
[legend]
Collaboration diagram for spot::ltl::postfix_visitor:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 postfix_visitor ()
virtual ~postfix_visitor ()
void visit (atomic_prop *ap)
void visit (unop *uo)
void visit (binop *bo)
void visit (multop *mo)
void visit (constant *c)
virtual void doit (atomic_prop *ap)
virtual void doit (unop *uo)
virtual void doit (binop *bo)
virtual void doit (multop *mo)
virtual void doit (constant *c)
virtual void doit_default (formula *f)

Detailed Description

Apply an algorithm on each node of an AST, during a postfix traversal.

Override one or more of the postifix_visitor::doit methods with the algorithm to apply.


Constructor & Destructor Documentation

spot::ltl::postfix_visitor::postfix_visitor  ) 
 

virtual spot::ltl::postfix_visitor::~postfix_visitor  )  [virtual]
 


Member Function Documentation

virtual void spot::ltl::postfix_visitor::doit constant c  )  [virtual]
 

virtual void spot::ltl::postfix_visitor::doit multop mo  )  [virtual]
 

virtual void spot::ltl::postfix_visitor::doit binop bo  )  [virtual]
 

virtual void spot::ltl::postfix_visitor::doit unop uo  )  [virtual]
 

virtual void spot::ltl::postfix_visitor::doit atomic_prop ap  )  [virtual]
 

virtual void spot::ltl::postfix_visitor::doit_default formula f  )  [virtual]
 

void spot::ltl::postfix_visitor::visit constant c  )  [virtual]
 

Implements spot::ltl::visitor.

void spot::ltl::postfix_visitor::visit multop mo  )  [virtual]
 

Implements spot::ltl::visitor.

void spot::ltl::postfix_visitor::visit binop bo  )  [virtual]
 

Implements spot::ltl::visitor.

void spot::ltl::postfix_visitor::visit unop uo  )  [virtual]
 

Implements spot::ltl::visitor.

void spot::ltl::postfix_visitor::visit atomic_prop ap  )  [virtual]
 

Implements spot::ltl::visitor.


The documentation for this class was generated from the following file:
Generated on Tue Jun 29 17:02:27 2004 for spot by doxygen 1.3.7