automaton::transform::PDAToRHPDA Class Reference

#include <PDAToRHPDA.h>

Static Public Member Functions
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >	convert (const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, ext::variant< StateType, std::string > >	convert (const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >	convert (const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, ext::variant< StateType, std::string > >	convert (const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)

Detailed Description

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

Member Function Documentation

convert() [1/4]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, ext::variant< StateType, std::string > > automaton::transform::PDAToRHPDA::convert ( const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  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:

convert() [2/4]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, ext::variant< StateType, std::string > > automaton::transform::PDAToRHPDA::convert ( const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  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:

convert() [3/4]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > automaton::transform::PDAToRHPDA::convert ( const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  pda )

static

Transformation of a PDA to a RHPDA.

Parameters

pda	automaton to transform

Returns

RHPDA equivalent to automaton

Here is the caller graph for this function:

convert() [4/4]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > automaton::transform::PDAToRHPDA::convert ( const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  pda )

static

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

---

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

• alib2algo/src/automaton/transform/PDAToRHPDA.h