Nondeterministic real time height deterministic pushdown automaton. Accepts subset of context free languages. More...

#include <RealTimeHeightDeterministicNPDA.h>

Inheritance diagram for automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >:

[legend]

Collaboration diagram for automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >:

[legend]

Public Types
typedef InputSymbolTypeT	InputSymbolType

typedef PushdownStoreSymbolTypeT	PushdownStoreSymbolType

typedef StateTypeT	StateType

Public Member Functions
	RealTimeHeightDeterministicNPDA (ext::set< StateType > states, ext::set< InputSymbolType > inputAlphabet, ext::set< PushdownStoreSymbolType > pushdownStoreAlphabet, ext::set< StateType > initialStates, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set< StateType > finalStates)
	Creates a new instance of the automaton with a concrete set of states, call, return, and local alphabets, pushdown store alphabet, initial state, bottom of the stack symbol, and a set of final states. More...

	RealTimeHeightDeterministicNPDA (PushdownStoreSymbolType bottomOfTheStackSymbol)
	Creates a new instance of the automaton with a concrete initial state and bottom of the stack symbol. More...

const ext::set< StateType > &	getStates () const &

ext::set< StateType > &&	getStates () &&

bool	addState (StateType state)

void	setStates (ext::set< StateType > states)

bool	removeState (const StateType &state)

const ext::set< StateType > &	getInitialStates () const &

ext::set< StateType > &&	getInitialStates () &&

bool	addInitialState (StateType state)

void	setInitialStates (ext::set< StateType > states)

bool	removeInitialState (const StateType &state)

const ext::set< StateType > &	getFinalStates () const &

ext::set< StateType > &&	getFinalStates () &&

bool	addFinalState (StateType state)

void	setFinalStates (ext::set< StateType > states)

bool	removeFinalState (const StateType &state)

const ext::set< PushdownStoreSymbolType > &	getPushdownStoreAlphabet () const &

ext::set< PushdownStoreSymbolType > &&	getPushdownStoreAlphabet () &&

bool	addPushdownStoreSymbol (PushdownStoreSymbolType symbol)

void	addPushdownStoreSymbols (ext::set< PushdownStoreSymbolType > symbols)

void	setPushdownStoreAlphabet (ext::set< PushdownStoreSymbolType > symbols)

bool	removePushdownStoreSymbol (const PushdownStoreSymbolType &symbol)

const PushdownStoreSymbolType &	getBottomOfTheStackSymbol () const &

PushdownStoreSymbolType &&	getBottomOfTheStackSymbol () &&

bool	setBottomOfTheStackSymbol (PushdownStoreSymbolType symbol)

const ext::set< InputSymbolType > &	getInputAlphabet () const &

ext::set< InputSymbolType > &&	getInputAlphabet () &&

bool	addInputSymbol (InputSymbolType symbol)

void	addInputSymbols (ext::set< InputSymbolType > symbols)

void	setInputAlphabet (ext::set< InputSymbolType > symbols)

void	removeInputSymbol (const InputSymbolType &symbol)

bool	addCallTransition (StateType from, common::symbol_or_epsilon< InputSymbolType > input, StateType to, PushdownStoreSymbolType push)
	Adds a call transition to the automaton. More...

bool	addCallTransition (StateType from, InputSymbolType input, StateType to, PushdownStoreSymbolType push)
	Adds a call transition to the automaton. More...

bool	addCallTransition (StateType from, StateType to, PushdownStoreSymbolType push)
	Adds a call transition to the automaton. More...

bool	addReturnTransition (StateType from, common::symbol_or_epsilon< InputSymbolType > input, PushdownStoreSymbolType pop, StateType to)
	Adds a return transition to the automaton. More...

bool	addReturnTransition (StateType from, InputSymbolType input, PushdownStoreSymbolType pop, StateType to)
	Adds a return transition to the automaton. More...

bool	addReturnTransition (StateType from, PushdownStoreSymbolType pop, StateType to)
	Adds a return transition to the automaton. More...

bool	addLocalTransition (StateType from, common::symbol_or_epsilon< InputSymbolType > input, StateType to)
	Adds a local transition to the automaton. More...

bool	addLocalTransition (StateType from, InputSymbolType input, StateType to)
	Adds a local transition to the automaton. More...

bool	addLocalTransition (StateType from, StateType to)
	Adds a local transition to the automaton. More...

bool	removeCallTransition (const StateType &from, const common::symbol_or_epsilon< InputSymbolType > &input, const StateType &to, const PushdownStoreSymbolType &push)
	Removes a call transition from the automaton. More...

bool	removeCallTransition (const StateType &from, const InputSymbolType &input, const StateType &to, const PushdownStoreSymbolType &push)
	Removes a call transition from the automaton. More...

bool	removeCallTransition (const StateType &from, const StateType &to, const PushdownStoreSymbolType &push)
	Removes a call transition from the automaton. More...

bool	removeReturnTransition (const StateType &from, const common::symbol_or_epsilon< InputSymbolType > &input, const PushdownStoreSymbolType &pop, const StateType &to)
	Removes a return transition from the automaton. More...

bool	removeReturnTransition (const StateType &from, const InputSymbolType &input, const PushdownStoreSymbolType &pop, const StateType &to)
	Removes a return transition from the automaton. More...

bool	removeReturnTransition (const StateType &from, const PushdownStoreSymbolType &pop, const StateType &to)
	Removes a return transition from the automaton. More...

bool	removeLocalTransition (const StateType &from, const common::symbol_or_epsilon< InputSymbolType > &input, const StateType &to)
	Removes a local transition from the automaton. More...

bool	removeLocalTransition (const StateType &from, const InputSymbolType &input, const StateType &to)
	Removes a local transition from the automaton. More...

bool	removeLocalTransition (const StateType &from, const StateType &to)
	Removes a local transition from the automaton. More...

const ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, ext::pair< StateType, PushdownStoreSymbolType > > &	getCallTransitions () const &

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, ext::pair< StateType, PushdownStoreSymbolType > > &&	getCallTransitions () &&

const ext::multimap< ext::tuple< StateType, common::symbol_or_epsilon< InputSymbolType >, PushdownStoreSymbolType >, StateType > &	getReturnTransitions () const &

ext::multimap< ext::tuple< StateType, common::symbol_or_epsilon< InputSymbolType >, PushdownStoreSymbolType >, StateType > &&	getReturnTransitions () &&

const ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, StateType > &	getLocalTransitions () const &

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, StateType > &&	getLocalTransitions () &&

auto	operator<=> (const RealTimeHeightDeterministicNPDA &other) const

bool	operator== (const RealTimeHeightDeterministicNPDA &other) const

Public Member Functions inherited from core::Components< RealTimeHeightDeterministicNPDA< DefaultSymbolType, DefaultSymbolType, DefaultStateType >, ext::set< DefaultSymbolType >, component::Set, InputAlphabet, ext::set< DefaultSymbolType >, component::Set, PushdownStoreAlphabet, DefaultSymbolType, component::Value, BottomOfTheStackSymbol, ext::set< DefaultStateType >, component::Set, std::tuple< States, InitialStates, FinalStates > >
void	accessComponent ()

Friends
ext::ostream &	operator<< (ext::ostream &out, const RealTimeHeightDeterministicNPDA &instance)

Additional Inherited Members
Static Public Member Functions inherited from core::Components< RealTimeHeightDeterministicNPDA< DefaultSymbolType, DefaultSymbolType, DefaultStateType >, ext::set< DefaultSymbolType >, component::Set, InputAlphabet, ext::set< DefaultSymbolType >, component::Set, PushdownStoreAlphabet, DefaultSymbolType, component::Value, BottomOfTheStackSymbol, ext::set< DefaultStateType >, component::Set, std::tuple< States, InitialStates, FinalStates > >
static void	registerComponent ()

static void	unregisterComponent ()

Detailed Description

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
class automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >

Nondeterministic real time height deterministic pushdown automaton. Accepts subset of context free languages.

Definition A = (Q, T, G, I, Z, \delta, F), Q (States) = nonempty finite set of states, T (TerminalAlphabet) = finite set of terminal symbols G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA I (InitialState) = initial state, Z (BottomOfTheStackSymbol) = initial pushdown store symbol \delta is split to three disjoint parts

\delta_{call} of the form A \times a -> B \times g, where A, B \in Q, a \in T \cup { \eps }, and g \in G
\delta_{return} of the form A \times a \times g -> B, where A, B \in Q, a \in T \cup { \eps }, and g \in G
\delta_{local} of the form A \times a -> B, where A, B \in Q, a \in T \cup { \eps } F (FinalStates) = set of final states

Template Parameters

InputSymbolTypeT	used for the terminal alphabet
PushdownSymbolTypeT	used for the pushdown store alphabet
StateTypeT	used to the states, and the initial state of the automaton.

Member Typedef Documentation

◆ InputSymbolType

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

typedef InputSymbolTypeT automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::InputSymbolType

◆ PushdownStoreSymbolType

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

typedef PushdownStoreSymbolTypeT automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::PushdownStoreSymbolType

◆ StateType

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

typedef StateTypeT automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::StateType

Constructor & Destructor Documentation

◆ RealTimeHeightDeterministicNPDA() [1/2]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::RealTimeHeightDeterministicNPDA	(	ext::set< StateType >	states,
		ext::set< InputSymbolType >	inputAlphabet,
		ext::set< PushdownStoreSymbolType >	pushdownStoreAlphabet,
		ext::set< StateType >	initialStates,
		PushdownStoreSymbolType	bottomOfTheStackSymbol,
		ext::set< StateType >	finalStates
	)

explicit

Creates a new instance of the automaton with a concrete set of states, call, return, and local alphabets, pushdown store alphabet, initial state, bottom of the stack symbol, and a set of final states.

Parameters

states	the initial set of states of the automaton
callAlphabet	the initial input alphabet
returnAlphabet	the initial input alphabet
localAlphabet	the initial input alphabet
pushdownStoreAlphabet	the initial set of symbols used in the pushdown store by the automaton
initialState	the initial state of the automaton
bottomOfTheStackSymbol	the initial pushdown symbol of the automaton
finalStates	the initial set of final states of the automaton

◆ RealTimeHeightDeterministicNPDA() [2/2]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::RealTimeHeightDeterministicNPDA ( PushdownStoreSymbolType bottomOfTheStackSymbol )

explicit

Creates a new instance of the automaton with a concrete initial state and bottom of the stack symbol.

Parameters

initialState	the initial state of the automaton
bottomOfTheStackSymbol	the bottom of the stack symbol of the automaton

Member Function Documentation

◆ addCallTransition() [1/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addCallTransition	(	StateType	from,
		common::symbol_or_epsilon< InputSymbolType >	input,
		StateType	to,
		PushdownStoreSymbolType	push
	)

Adds a call transition to the automaton.

The transition is in a form A \times a -> B \times g, where A, B \in Q, a \in T \cup { \eps }, and g \in G

Parameters

from	the source state (A)
input	the input symbol or epsilon (a)
to	the target state (B)
push	symbol to be pushed to the pushdown store on the transition use (g)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

Here is the call graph for this function:

◆ addCallTransition() [2/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addCallTransition	(	StateType	from,
		InputSymbolType	input,
		StateType	to,
		PushdownStoreSymbolType	push
	)

Adds a call transition to the automaton.

The transition is in a form A \times a -> B \times g, where A, B \in Q, a \in T, and g \in G

Parameters

from	the source state (A)
input	the input symbol (a)
to	the target state (B)
push	symbol to be pushed to the pushdown store on the transition use (g)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

◆ addCallTransition() [3/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addCallTransition	(	StateType	from,
		StateType	to,
		PushdownStoreSymbolType	push
	)

Adds a call transition to the automaton.

The transition is in a form A \times \eps -> B \times g, where A, B \in Q, and g \in G

Parameters

from	the source state (A)
to	the target state (B)
push	symbol to be pushed to the pushdown store on the transition use (g)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

◆ addFinalState()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::addFinalState ( StateType state )

inline

Adder of a final state.

Parameters

state the new state to be added to a set of final states

Returns: true if the state was indeed added

◆ addInitialState()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::addInitialState ( StateType state )

inline

Adder of an initial state.

Parameters

state the new state to be added to a set of initial states

Returns: true if the state was indeed added

◆ addInputSymbol()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::addInputSymbol ( InputSymbolType symbol )

inline

Adder of a input symbol.

Parameters

symbol the new symbol to be added to an input alphabet

Returns: true if the symbol was indeed added

◆ addInputSymbols()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::addInputSymbols ( ext::set< InputSymbolType > symbols )

inline

Adder of input symbols.

Parameters

symbols new symbols to be added to an input alphabet

◆ addLocalTransition() [1/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addLocalTransition	(	StateType	from,
		common::symbol_or_epsilon< InputSymbolType >	input,
		StateType	to
	)

Adds a local transition to the automaton.

The transition is in a form A \times a -> B, where A, B \in Q and a \in T \cup { \eps }

Parameters

from	the source state (A)
input	the input symbol or epsilon (a)
to	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

Here is the call graph for this function:

◆ addLocalTransition() [2/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addLocalTransition	(	StateType	from,
		InputSymbolType	input,
		StateType	to
	)

Adds a local transition to the automaton.

The transition is in a form A \times a -> B, where A, B \in Q and a \in T

Parameters

from	the source state (A)
input	the call input symbol (a)
to	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

◆ addLocalTransition() [3/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addLocalTransition	(	StateType	from,
		StateType	to
	)

Adds a local transition to the automaton.

The transition is in a form A \times \eps -> B, where A, B \in Q

Parameters

from	the source state (A)
to	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

◆ addPushdownStoreSymbol()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::addPushdownStoreSymbol ( PushdownStoreSymbolType symbol )

inline

Adder of a pushdown store symbol.

Parameters

symbol the new symbol to be added to a pushdown store alphabet

Returns: true if the symbol was indeed added

◆ addPushdownStoreSymbols()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::addPushdownStoreSymbols ( ext::set< PushdownStoreSymbolType > symbols )

inline

Adder of pushdown store symbols.

Parameters

symbols new symbols to be added to a pushdown store alphabet

◆ addReturnTransition() [1/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addReturnTransition	(	StateType	from,
		common::symbol_or_epsilon< InputSymbolType >	input,
		PushdownStoreSymbolType	pop,
		StateType	to
	)

Adds a return transition to the automaton.

The transition is in a form A \times a \times g -> B, where A, B \in Q, a \in T \cup { \eps }, and g \in G

Parameters

from	the source state (A)
input	the input symbol or epsilon (a)
pop	symbol to be poped to the pushdown store on the transition use (g)
to	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

Here is the call graph for this function:

◆ addReturnTransition() [2/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addReturnTransition	(	StateType	from,
		InputSymbolType	input,
		PushdownStoreSymbolType	pop,
		StateType	to
	)

Adds a return transition to the automaton.

The transition is in a form A \times a \times g -> B, where A, B \in Q, a \in T, and g \in G

Parameters

from	the source state (A)
input	the input symbol (a)
pop	symbol to be poped to the pushdown store on the transition use (g)
to	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

◆ addReturnTransition() [3/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addReturnTransition	(	StateType	from,
		PushdownStoreSymbolType	pop,
		StateType	to
	)

Adds a return transition to the automaton.

The transition is in a form A \times \eps \times g -> B, where A, B \in Q, and g \in G

Parameters

from	the source state (A)
pop	symbol to be poped to the pushdown store on the transition use (g)
to	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism

Returns: true if the transition was indeed added

◆ addState()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::addState ( StateType state )

inline

Adder of a state.

Parameters

state the new state to be added to a set of states

Returns: true if the state was indeed added

◆ getBottomOfTheStackSymbol() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

PushdownStoreSymbolType && automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getBottomOfTheStackSymbol ( ) &&

inline

Getter of the bottom of the stack symbol.

Returns: the bottom of the stack symbol of the automaton

Here is the call graph for this function:

◆ getBottomOfTheStackSymbol() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const PushdownStoreSymbolType & automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getBottomOfTheStackSymbol ( ) const &

inline

Getter of the bottom of the stack symbol.

Returns: the bottom of the stack symbol of the automaton

Here is the caller graph for this function:

◆ getCallTransitions() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, ext::pair< StateType, PushdownStoreSymbolType > > && automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getCallTransitions ( ) &&

Get the call transition function of the automaton in its natural form.

Returns: call transition function of the automaton

◆ getCallTransitions() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, ext::pair< StateType, PushdownStoreSymbolType > > & automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getCallTransitions ( ) const &

Get the call transition function of the automaton in its natural form.

Returns: call transition function of the automaton

Here is the caller graph for this function:

◆ getFinalStates() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< StateType > && automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getFinalStates ( ) &&

inline

Getter of final states.

Returns: the final states of the automaton

Here is the call graph for this function:

◆ getFinalStates() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< StateType > & automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getFinalStates ( ) const &

inline

Getter of final states.

Returns: the final states of the automaton

Here is the caller graph for this function:

◆ getInitialStates() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< StateType > && automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getInitialStates ( ) &&

inline

Getter of initial state.

Returns: the states of the automaton

Here is the call graph for this function:

◆ getInitialStates() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< StateType > & automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getInitialStates ( ) const &

inline

Getter of initial state.

Returns: the states of the automaton

Here is the caller graph for this function:

◆ getInputAlphabet() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< InputSymbolType > && automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getInputAlphabet ( ) &&

inline

Getter of the input alphabet.

Returns: the input alphabet of the automaton

Here is the call graph for this function:

◆ getInputAlphabet() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< InputSymbolType > & automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getInputAlphabet ( ) const &

inline

Getter of the input alphabet.

Returns: the input alphabet of the automaton

Here is the caller graph for this function:

◆ getLocalTransitions() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, StateType > && automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getLocalTransitions ( ) &&

Get the local transition function of the automaton in its natural form.

Returns: local transition function of the automaton

◆ getLocalTransitions() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, StateType > & automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getLocalTransitions ( ) const &

Get the local transition function of the automaton in its natural form.

Returns: local transition function of the automaton

Here is the caller graph for this function:

◆ getPushdownStoreAlphabet() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< PushdownStoreSymbolType > && automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getPushdownStoreAlphabet ( ) &&

inline

Getter of the pushdown store alphabet.

Returns: the pushdown store alphabet of the automaton

Here is the call graph for this function:

◆ getPushdownStoreAlphabet() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< PushdownStoreSymbolType > & automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getPushdownStoreAlphabet ( ) const &

inline

Getter of the pushdown store alphabet.

Returns: the pushdown store alphabet of the automaton

Here is the caller graph for this function:

◆ getReturnTransitions() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::multimap< ext::tuple< StateType, common::symbol_or_epsilon< InputSymbolType >, PushdownStoreSymbolType >, StateType > && automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getReturnTransitions ( ) &&

Get the return transition function of the automaton in its natural form.

Returns: return transition function of the automaton

◆ getReturnTransitions() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::multimap< ext::tuple< StateType, common::symbol_or_epsilon< InputSymbolType >, PushdownStoreSymbolType >, StateType > & automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getReturnTransitions ( ) const &

Get the return transition function of the automaton in its natural form.

Returns: return transition function of the automaton

Here is the caller graph for this function:

◆ getStates() [1/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< StateType > && automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getStates ( ) &&

inline

Getter of states.

Returns: the states of the automaton

Here is the call graph for this function:

◆ getStates() [2/2]

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< StateType > & automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::getStates ( ) const &

inline

Getter of states.

Returns: the states of the automaton

Here is the caller graph for this function:

◆ operator<=>()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

auto automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::operator<=> ( const RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT > & other ) const

inline

The three way comparison implementation

Parameters

other the other instance

Returns: the ordering between this object and the other.

Here is the call graph for this function:

◆ operator==()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::operator== ( const RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT > & other ) const

inline

The equality comparison implementation.

Parameters

other the other object to compare with.

Returns: true if this and other objects are equal, false othervise

Here is the call graph for this function:

◆ removeCallTransition() [1/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeCallTransition	(	const StateType &	from,
		const common::symbol_or_epsilon< InputSymbolType > &	input,
		const StateType &	to,
		const PushdownStoreSymbolType &	push
	)

Removes a call transition from the automaton.

The transition is in a form A \times a -> B \times g, where A, B \in Q, a \in T \cup { \eps }, and g \in G

Parameters

from	the source state (A)
input	the input symbol or epsilon (a)
to	the target state (B)
push	symbol to be pushed to the pushdown store on the transition use (g)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

Here is the call graph for this function:

◆ removeCallTransition() [2/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeCallTransition	(	const StateType &	from,
		const InputSymbolType &	input,
		const StateType &	to,
		const PushdownStoreSymbolType &	push
	)

Removes a call transition from the automaton.

The transition is in a form A \times a -> B \times g, where A, B \in Q, a \in T, and g \in G

Parameters

from	the source state (A)
input	the input symbol (a)
to	the target state (B)
push	symbol to be pushed to the pushdown store on the transition use (g)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

◆ removeCallTransition() [3/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeCallTransition	(	const StateType &	from,
		const StateType &	to,
		const PushdownStoreSymbolType &	push
	)

Removes a call transition from the automaton.

The transition is in a form A \times \eps -> B \times g, where A, B \in Q, and g \in G

Parameters

from	the source state (A)
to	the target state (B)
push	symbol to be pushed to the pushdown store on the transition use (g)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

◆ removeFinalState()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::removeFinalState ( const StateType & state )

inline

Remover of a final state.

Parameters

state a state to be removed from a set of final states

Returns: true if the state was indeed removed

◆ removeInitialState()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::removeInitialState ( const StateType & state )

inline

Remover of an initial state.

Parameters

state a state to be removed from a set of initial states

Returns: true if the state was indeed removed

◆ removeInputSymbol()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::removeInputSymbol ( const InputSymbolType & symbol )

inline

Remover of an input symbol.

Parameters

symbol a symbol to be removed from an input alphabet

Returns: true if the symbol was indeed removed

◆ removeLocalTransition() [1/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeLocalTransition	(	const StateType &	from,
		const common::symbol_or_epsilon< InputSymbolType > &	input,
		const StateType &	to
	)

Removes a local transition from the automaton.

The transition is in a form A \times a -> B, where A, B \in Q and a \in T \cup { \eps }

Parameters

from	the source state (A)
input	the input symbol or epsilon (a)
to	the target state (B)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

Here is the call graph for this function:

◆ removeLocalTransition() [2/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeLocalTransition	(	const StateType &	from,
		const InputSymbolType &	input,
		const StateType &	to
	)

Removes a local transition from the automaton.

The transition is in a form A \times a -> B, where A, B \in Q and a \in T

Parameters

from	the source state (A)
input	the input symbol (a)
to	the target state (B)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

◆ removeLocalTransition() [3/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeLocalTransition	(	const StateType &	from,
		const StateType &	to
	)

Removes a local transition from the automaton.

The transition is in a form A \times \eps -> B, where A, B \in Q

Parameters

from	the source state (A)
to	the target state (B)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

◆ removePushdownStoreSymbol()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::removePushdownStoreSymbol ( const PushdownStoreSymbolType & symbol )

inline

Remover of an pushdown store symbol.

Parameters

symbol a symbol to be removed from a pushdown store alphabet

Returns: true if the symbol was indeed removed

◆ removeReturnTransition() [1/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeReturnTransition	(	const StateType &	from,
		const common::symbol_or_epsilon< InputSymbolType > &	input,
		const PushdownStoreSymbolType &	pop,
		const StateType &	to
	)

Removes a return transition from the automaton.

The transition is in a form A \times a \times g -> B, where A, B \in Q, a \in T \cup { \eps }, and g \in G

Parameters

from	the source state (A)
input	the input symbol or epsilon (a)
pop	symbol to be poped to the pushdown store on the transition use (g)
to	the target state (B)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

Here is the call graph for this function:

◆ removeReturnTransition() [2/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeReturnTransition	(	const StateType &	from,
		const InputSymbolType &	input,
		const PushdownStoreSymbolType &	pop,
		const StateType &	to
	)

Removes a return transition from the automaton.

The transition is in a form A \times a \times g -> B, where A, B \in Q, a \in T, and g \in G

Parameters

from	the source state (A)
input	the input symbol (a)
pop	symbol to be poped to the pushdown store on the transition use (g)
to	the target state (B)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

◆ removeReturnTransition() [3/3]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeReturnTransition	(	const StateType &	from,
		const PushdownStoreSymbolType &	pop,
		const StateType &	to
	)

Removes a return transition from the automaton.

The transition is in a form A \times \eps \times g -> B, where A, B \in Q, and g \in G

Parameters

from	the source state (A)
pop	symbol to be poped to the pushdown store on the transition use (g)
to	the target state (B)

Exceptions

AutomatonException when removed transition left hand side was found but the right hand side did not match.

Returns: true if the transition was indeed removed

◆ removeState()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::removeState ( const StateType & state )

inline

Remover of a state.

Parameters

state a state to be removed from a set of states

Returns: true if the state was indeed removed

◆ setBottomOfTheStackSymbol()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::setBottomOfTheStackSymbol ( PushdownStoreSymbolType symbol )

inline

Setter of the bottom of the stack symbol.

Parameters

symbol new bottom of the stack symbol of the automaton

Returns: true if the bottom of the stack symbol was indeed changed

◆ setFinalStates()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::setFinalStates ( ext::set< StateType > states )

inline

Setter of final states.

Parameters

states completely new set of final states

◆ setInitialStates()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::setInitialStates ( ext::set< StateType > states )

inline

Setter of initial states.

Parameters

states completely new set of initial states

◆ setInputAlphabet()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::setInputAlphabet ( ext::set< InputSymbolType > symbols )

inline

Setter of input alphabet.

Parameters

symbols completely new input alphabet

◆ setPushdownStoreAlphabet()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::setPushdownStoreAlphabet ( ext::set< PushdownStoreSymbolType > symbols )

inline

Setter of a pushdown store alphabet.

Parameters

symbols completely new pushdown store alphabet

◆ setStates()

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::setStates ( ext::set< StateType > states )

inline

Setter of states.

Parameters

states completely new set of states

Friends And Related Function Documentation

◆ operator<<

template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::ostream & operator<<	(	ext::ostream &	out,
		const RealTimeHeightDeterministicNPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT > &	instance
	)

friend

Print this object as raw representation to ostream.

Parameters

out	ostream where to print
instance	object to print

Returns: modified output stream

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

alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h

Public Types

Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ InputSymbolType

◆ PushdownStoreSymbolType

◆ StateType

Constructor & Destructor Documentation

◆ RealTimeHeightDeterministicNPDA() [1/2]

◆ RealTimeHeightDeterministicNPDA() [2/2]

Member Function Documentation

◆ addCallTransition() [1/3]

◆ addCallTransition() [2/3]

◆ addCallTransition() [3/3]

◆ addFinalState()

◆ addInitialState()

◆ addInputSymbol()

◆ addInputSymbols()

◆ addLocalTransition() [1/3]

◆ addLocalTransition() [2/3]

◆ addLocalTransition() [3/3]

◆ addPushdownStoreSymbol()

◆ addPushdownStoreSymbols()

◆ addReturnTransition() [1/3]

◆ addReturnTransition() [2/3]

◆ addReturnTransition() [3/3]

◆ addState()

◆ getBottomOfTheStackSymbol() [1/2]

◆ getBottomOfTheStackSymbol() [2/2]

◆ getCallTransitions() [1/2]

◆ getCallTransitions() [2/2]

◆ getFinalStates() [1/2]

◆ getFinalStates() [2/2]

◆ getInitialStates() [1/2]

◆ getInitialStates() [2/2]

◆ getInputAlphabet() [1/2]

◆ getInputAlphabet() [2/2]

◆ getLocalTransitions() [1/2]

◆ getLocalTransitions() [2/2]

◆ getPushdownStoreAlphabet() [1/2]

◆ getPushdownStoreAlphabet() [2/2]

◆ getReturnTransitions() [1/2]

◆ getReturnTransitions() [2/2]

◆ getStates() [1/2]

◆ getStates() [2/2]

◆ operator<=>()

◆ operator==()

◆ removeCallTransition() [1/3]

◆ removeCallTransition() [2/3]

◆ removeCallTransition() [3/3]

◆ removeFinalState()

◆ removeInitialState()

◆ removeInputSymbol()

◆ removeLocalTransition() [1/3]

◆ removeLocalTransition() [2/3]

◆ removeLocalTransition() [3/3]

◆ removePushdownStoreSymbol()

◆ removeReturnTransition() [1/3]

◆ removeReturnTransition() [2/3]

◆ removeReturnTransition() [3/3]

◆ removeState()

◆ setBottomOfTheStackSymbol()

◆ setFinalStates()

◆ setInitialStates()

◆ setInputAlphabet()

◆ setPushdownStoreAlphabet()

◆ setStates()

Friends And Related Function Documentation

◆ operator<<