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.
- Public Member Functions inherited from faudes::MergeAbstract
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< IdxmPop
std::vector< IdxmPush

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
x1start state
evevent
x2end state
poppop stack symbols
pushpush 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
transTransition
poppop stack symbols
pushpush 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

Writes the contained items.

Parameters
rTwTokenWriter
rLabellabel

Implements faudes::MergeAbstract.

Definition at line 235 of file pd_merge.cpp.

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

Definition at line 342 of file pd_merge.h.

std::vector<Idx> faudes::MergeTransition::mPop

Definition at line 344 of file pd_merge.h.

std::vector<Idx> faudes::MergeTransition::mPush

Definition at line 345 of file pd_merge.h.

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

Definition at line 343 of file pd_merge.h.


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

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen