spot::ltl::const_visitor Struct Reference
Formula visitor that cannot modify the formula.
More...
#include <visitor.hh>
List of all members.
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 Jun 29 17:02:22 2004 for spot by
1.3.7