faudes::MergeTransition Class Reference
|
Public Member Functions | |
MergeTransition (Idx x1, Idx ev, Idx x2, 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. | |
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 |
Merge class which contains one transition.
Overview
Contents
Definition at line 334 of file pd_merge.h.
faudes::MergeTransition::MergeTransition | ( | Idx | x1, | |
Idx | ev, | |||
Idx | x2, | |||
const std::vector< Idx > & | pop, | |||
const std::vector< Idx > & | push | |||
) |
Constructor for heads.
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.
Idx faudes::MergeTransition::Ev | ( | void | ) | const [inline] |
const std::vector<Idx>& faudes::MergeTransition::Pop | ( | ) | const [inline] |
const std::vector<Idx>& faudes::MergeTransition::Push | ( | ) | const [inline] |
void faudes::MergeTransition::Write | ( | TokenWriter & | rTw, | |
const std::string & | rLabel | |||
) | [virtual] |
Writes the contained items.
rTw | TokenWriter | |
rLabel | label |
Implements faudes::MergeAbstract.
Definition at line 231 of file pd_merge.cpp.
Idx faudes::MergeTransition::X1 | ( | void | ) | const [inline] |
Idx faudes::MergeTransition::X2 | ( | void | ) | const [inline] |
Definition at line 340 of file pd_merge.h.
std::vector<Idx> faudes::MergeTransition::mPop |
Definition at line 342 of file pd_merge.h.
std::vector<Idx> faudes::MergeTransition::mPush |
Definition at line 343 of file pd_merge.h.
the transition's start state, event, end state, pop symbols and push symbols
Definition at line 339 of file pd_merge.h.
Definition at line 341 of file pd_merge.h.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen