faudes::MergeStateAnnotation Class Reference
[Pushdown PlugIn]

Merge class which contains one state and a string annotation. More...

#include <pd_merge.h>

List of all members.

Public Member Functions

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

Public Attributes

Idx mState
 the contained state
std::string mAnnotation
 the annotation

Detailed Description

Merge class which contains one state and a string annotation.

Overview

Overview

Contents

Contents

Definition at line 135 of file pd_merge.h.


Constructor & Destructor Documentation

faudes::MergeStateAnnotation::MergeStateAnnotation ( const Idx  state,
const std::string &  annotation 
)

Constructor.

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

Definition at line 94 of file pd_merge.cpp.


Member Function Documentation

std::string faudes::MergeStateAnnotation::Annotation (  )  const [inline]

Getter for annotation.

Returns:
mAnnotation

Definition at line 168 of file pd_merge.h.

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

Getter for State.

Returns:
mState

Definition at line 160 of file pd_merge.h.

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

Writes the contained items.

Parameters:
rTw TokenWriter
rLabel label

Implements faudes::MergeAbstract.

Definition at line 102 of file pd_merge.cpp.


Member Data Documentation

the annotation

Definition at line 142 of file pd_merge.h.

the contained state

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