List of all members.
Public Member Functions |
| virtual | ~ConstTransitionFunctor () |
| virtual void | doInternal (Nwa const &nwa, State source, Symbol symbol, State target)=0 |
| virtual void | doCall (Nwa const &nwa, State source, Symbol symbol, State target)=0 |
| virtual void | doReturn (Nwa const &nwa, State source, State pred, Symbol symbol, State target)=0 |
Constructor & Destructor Documentation
| virtual opennwa::traverse::ConstTransitionFunctor::~ConstTransitionFunctor |
( |
|
) |
[virtual] |
Member Function Documentation
| virtual void opennwa::traverse::ConstTransitionFunctor::doInternal |
( |
Nwa const & |
nwa, |
|
|
State |
source, |
|
|
Symbol |
symbol, |
|
|
State |
target | |
|
) |
| | [pure virtual] |
| virtual void opennwa::traverse::ConstTransitionFunctor::doCall |
( |
Nwa const & |
nwa, |
|
|
State |
source, |
|
|
Symbol |
symbol, |
|
|
State |
target | |
|
) |
| | [pure virtual] |
| virtual void opennwa::traverse::ConstTransitionFunctor::doReturn |
( |
Nwa const & |
nwa, |
|
|
State |
source, |
|
|
State |
pred, |
|
|
Symbol |
symbol, |
|
|
State |
target | |
|
) |
| | [pure virtual] |
The documentation for this class was generated from the following file:
