spot::ltl::const_visitor Struct Reference
Formula visitor that cannot modify the formula.
More...
#include <ltlast/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.
Constructor & Destructor Documentation
virtual spot::ltl::const_visitor::~const_visitor |
( |
|
) |
[inline, virtual] |
Member Function Documentation
virtual void spot::ltl::const_visitor::visit |
( |
const automatop * |
node |
) |
[pure virtual] |
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: