faudes::MergeTransition Class Reference
[Pushdown PlugIn]

Merge class which contains one transition. More...

#include <pd_merge.h>

List of all members.

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< IdxmPop
std::vector< IdxmPush

Detailed Description

Merge class which contains one transition.

Overview

Overview

Contents

Contents

Definition at line 334 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.


Member Function Documentation

Idx faudes::MergeTransition::Ev ( void   )  const [inline]

Getter for mEv.

Returns:
mEv

Definition at line 375 of file pd_merge.h.

const std::vector<Idx>& faudes::MergeTransition::Pop (  )  const [inline]

Getter for mPop.

Returns:
mPop

Definition at line 391 of file pd_merge.h.

const std::vector<Idx>& faudes::MergeTransition::Push (  )  const [inline]

Getter for mPush.

Returns:
mPush

Definition at line 399 of file pd_merge.h.

void faudes::MergeTransition::Write ( TokenWriter rTw,
const std::string &  rLabel 
) [virtual]

Writes the contained items.

Parameters:
rTw TokenWriter
rLabel label

Implements faudes::MergeAbstract.

Definition at line 231 of file pd_merge.cpp.

Idx faudes::MergeTransition::X1 ( void   )  const [inline]

Getter for mX1.

Returns:
mX1

Definition at line 367 of file pd_merge.h.

Idx faudes::MergeTransition::X2 ( void   )  const [inline]

Getter for mX2.

Returns:
mX2

Definition at line 383 of file pd_merge.h.


Member Data Documentation

Definition at line 340 of file pd_merge.h.

Definition at line 342 of file pd_merge.h.

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.


The documentation for this class was generated from the following files:

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen