automaton::transform::RHPDAToPDA Class Reference

#include <RHPDAToPDA.h>

Static Public Member Functions
static automaton::DPDA< >	convert (const automaton::RealTimeHeightDeterministicDPDA< > &pda)
static automaton::DPDA< >	convert (const automaton::DPDA< > &pda)
static automaton::NPDA< >	convert (const automaton::RealTimeHeightDeterministicNPDA< > &pda)
static automaton::NPDA< >	convert (const automaton::NPDA< > &pda)

Detailed Description

Transforms real-time height-deterministic pushdown automaton (RHPDA) to a pushdown automaton (PDA).

Member Function Documentation

convert() [1/4]

static automaton::DPDA< > automaton::transform::RHPDAToPDA::convert ( const automaton::DPDA< > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

convert() [2/4]

static automaton::NPDA< > automaton::transform::RHPDAToPDA::convert ( const automaton::NPDA< > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

convert() [3/4]

automaton::DPDA< > automaton::transform::RHPDAToPDA::convert ( const automaton::RealTimeHeightDeterministicDPDA< > &  pda )

static

Transformation of a RHPDA to a PDA.

Parameters

pda	automaton to transform

Returns

(non) deterministic PDA equivalent to automaton

Here is the call graph for this function:

convert() [4/4]

automaton::NPDA< > automaton::transform::RHPDAToPDA::convert ( const automaton::RealTimeHeightDeterministicNPDA< > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Here is the call graph for this function:

---

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

• alib2algo/src/automaton/transform/RHPDAToPDA.h
• alib2algo/src/automaton/transform/RHPDAToPDA.cpp