faudes::MergeStates Class Reference
[Pushdown PlugIn]

Merge class which contains only states. More...

#include <pd_merge.h>

List of all members.

Public Member Functions

 MergeStates (const std::vector< Idx > &states)
 Constructor.
void Write (TokenWriter &rTw, const std::string &rLabel)
 Writes the contained items.
std::vector< IdxStates () const
 Getter for States.

Public Attributes

std::vector< IdxmStates
 the contained states

Detailed Description

Merge class which contains only states.

Overview

Overview

Contents

Contents

Definition at line 79 of file pd_merge.h.


Constructor & Destructor Documentation

faudes::MergeStates::MergeStates ( const std::vector< Idx > &  states  ) 

Constructor.

Parameters:
states Vector of states. The vector must not be empty.

Definition at line 20 of file pd_merge.cpp.


Member Function Documentation

std::vector<Idx> faudes::MergeStates::States ( void   )  const [inline]

Getter for States.

Returns:
mStates

Definition at line 110 of file pd_merge.h.

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

Writes the contained items.

Parameters:
rTw TokenWriter
rLabel label

Implements faudes::MergeAbstract.

Definition at line 31 of file pd_merge.cpp.


Member Data Documentation

the contained states

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