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.
More...
#include <ltlvisit/postfix.hh>
List of all members.
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 |
( |
atomic_prop * |
ap |
) |
[virtual] |
virtual void spot::ltl::postfix_visitor::doit |
( |
unop * |
uo |
) |
[virtual] |
virtual void spot::ltl::postfix_visitor::doit |
( |
binop * |
bo |
) |
[virtual] |
virtual void spot::ltl::postfix_visitor::doit |
( |
multop * |
mo |
) |
[virtual] |
virtual void spot::ltl::postfix_visitor::doit |
( |
automatop * |
mo |
) |
[virtual] |
virtual void spot::ltl::postfix_visitor::doit |
( |
constant * |
c |
) |
[virtual] |
virtual void spot::ltl::postfix_visitor::doit_default |
( |
formula * |
f |
) |
[virtual] |
void spot::ltl::postfix_visitor::visit |
( |
binop * |
bo |
) |
[virtual] |
void spot::ltl::postfix_visitor::visit |
( |
unop * |
uo |
) |
[virtual] |
void spot::ltl::postfix_visitor::visit |
( |
constant * |
c |
) |
[virtual] |
void spot::ltl::postfix_visitor::visit |
( |
atomic_prop * |
ap |
) |
[virtual] |
void spot::ltl::postfix_visitor::visit |
( |
multop * |
mo |
) |
[virtual] |
void spot::ltl::postfix_visitor::visit |
( |
automatop * |
c |
) |
[virtual] |
The documentation for this class was generated from the following file: