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< Idx >	mPop
std::vector< Idx >	mPush

---

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

Idx faudes::MergeTransition::mEv

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.

Idx faudes::MergeTransition::mX1

the transition's start state, event, end state, pop symbols and push symbols

Definition at line 339 of file pd_merge.h.

Idx faudes::MergeTransition::mX2

Definition at line 341 of file pd_merge.h.

---

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

• pd_merge.h
• pd_merge.cpp