faudes::MergeStateEvent Class Reference
[Pushdown PlugIn]

Merge class which contains one state and one event. More...

#include <pd_merge.h>

List of all members.

Public Member Functions

 MergeStateEvent (const Idx state, const Idx event)
 Constructor.
Idx State () const
 Getter for State.
Idx Event () const
 Getter for event.
void Write (TokenWriter &rTw, const std::string &rLabel)
 Writes the contained items.

Public Attributes

Idx mState
 the contained state
Idx mEvent
 the contained event

Detailed Description

Merge class which contains one state and one event.

Overview

Overview

Contents

Contents

Definition at line 195 of file pd_merge.h.


Constructor & Destructor Documentation

faudes::MergeStateEvent::MergeStateEvent ( const Idx  state,
const Idx  event 
)

Constructor.

Parameters:
state The state, which must not be empty
event The event

Definition at line 133 of file pd_merge.cpp.


Member Function Documentation

Idx faudes::MergeStateEvent::Event (  )  const [inline]

Getter for event.

Returns:
mEvent

Definition at line 228 of file pd_merge.h.

Idx faudes::MergeStateEvent::State (  )  const [inline]

Getter for State.

Returns:
mState

Definition at line 220 of file pd_merge.h.

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

Writes the contained items.

Parameters:
rTw TokenWriter
rLabel label

Implements faudes::MergeAbstract.

Definition at line 141 of file pd_merge.cpp.


Member Data Documentation

the contained event

Definition at line 202 of file pd_merge.h.

the contained state

Definition at line 200 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