|
|
Merge class which contains one transition.
More...
#include <pd_merge.h>
Public Member Functions |
| | MergeTransition (Idx x1, Idx ev, Idx x2, const std::vector< Idx > &pop, const std::vector< Idx > &push) |
| | Constructor for heads.
|
| | MergeTransition (const Transition trans, const std::vector< Idx > &pop, const std::vector< Idx > &push) |
| | Constructor for heads.
|
| Idx | X1 () const |
| | Getter for mX1.
|
| Idx | Ev () const |
| | Getter for mEv.
|
| Idx | X2 () const |
| | Getter for mX2.
|
| const std::vector< Idx > & | Pop () const |
| | Getter for mPop.
|
| const std::vector< Idx > & | Push () const |
| | Getter for mPush.
|
| void | Write (TokenWriter &rTw, const std::string &rLabel) |
| | Writes the contained items.
|
| virtual | ~MergeAbstract () |
Public Attributes |
| Idx | mX1 |
| | the transition's start state, event, end state, pop symbols and push symbols
|
| Idx | mEv |
| Idx | mX2 |
| std::vector< Idx > | mPop |
| std::vector< Idx > | mPush |
Detailed Description
Merge class which contains one transition.
Overview
Overview
Contents
Contents
Definition at line 336 of file pd_merge.h.
Constructor & Destructor Documentation
| faudes::MergeTransition::MergeTransition |
( |
Idx |
x1, |
|
|
Idx |
ev, |
|
|
Idx |
x2, |
|
|
const std::vector< Idx > & |
pop, |
|
|
const std::vector< Idx > & |
push |
|
) |
| |
Constructor for heads.
- Parameters
-
| x1 | start state |
| ev | event |
| x2 | end state |
| pop | pop stack symbols |
| push | push stack symbols |
Definition at line 227 of file pd_merge.cpp.
| faudes::MergeTransition::MergeTransition |
( |
const Transition |
trans, |
|
|
const std::vector< Idx > & |
pop, |
|
|
const std::vector< Idx > & |
push |
|
) |
| |
Constructor for heads.
- Parameters
-
| trans | Transition |
| pop | pop stack symbols |
| push | push stack symbols |
Definition at line 231 of file pd_merge.cpp.
Member Function Documentation
| Idx faudes::MergeTransition::Ev |
( |
void |
| ) |
const |
|
inline |
Getter for mEv.
- Returns
- mEv
Definition at line 389 of file pd_merge.h.
| const std::vector<Idx>& faudes::MergeTransition::Pop |
( |
| ) |
const |
|
inline |
Getter for mPop.
- Returns
- mPop
Definition at line 405 of file pd_merge.h.
| const std::vector<Idx>& faudes::MergeTransition::Push |
( |
| ) |
const |
|
inline |
Getter for mPush.
- Returns
- mPush
Definition at line 413 of file pd_merge.h.
| void faudes::MergeTransition::Write |
( |
TokenWriter & |
rTw, |
|
|
const std::string & |
rLabel |
|
) |
| |
|
virtual |
| Idx faudes::MergeTransition::X1 |
( |
void |
| ) |
const |
|
inline |
Getter for mX1.
- Returns
- mX1
Definition at line 381 of file pd_merge.h.
| Idx faudes::MergeTransition::X2 |
( |
| ) |
const |
|
inline |
Getter for mX2.
- Returns
- mX2
Definition at line 397 of file pd_merge.h.
Member Data Documentation
| Idx faudes::MergeTransition::mEv |
| std::vector<Idx> faudes::MergeTransition::mPop |
| std::vector<Idx> faudes::MergeTransition::mPush |
| Idx faudes::MergeTransition::mX1 |
the transition's start state, event, end state, pop symbols and push symbols
Definition at line 341 of file pd_merge.h.
| Idx faudes::MergeTransition::mX2 |
The documentation for this class was generated from the following files:
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|