Implementation of automaton run over its input returning the reached state. More...

#include <Result.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static StateType	result (const automaton::DFA< SymbolType, StateType > &automaton, const string::LinearString< SymbolType > &string)

template<class SymbolType , class StateType >
static StateType	result (const automaton::DFTA< SymbolType, StateType > &automaton, const tree::RankedTree< SymbolType > &tree)

template<class SymbolType , class StateType >
static StateType	result (const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &automaton, const tree::UnrankedTree< SymbolType > &tree)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static StateType	result (const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static StateType	result (const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static StateType	result (const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static StateType	result (const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

template<class SymbolType , class StateType >
static StateType	result (const automaton::DFA< SymbolType, StateType > &automaton, const string::LinearString< SymbolType > &string, const StateType &failLabel)

template<class SymbolType , class StateType >
static StateType	result (const automaton::DFTA< SymbolType, StateType > &automaton, const tree::RankedTree< SymbolType > &tree, const StateType &failLabel)

template<class SymbolType , class StateType >
static StateType	result (const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &automaton, const tree::UnrankedTree< SymbolType > &tree, const StateType &failLabel)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static StateType	result (const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string, const StateType &failLabel)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static StateType	result (const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string, const StateType &failLabel)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static StateType	result (const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string, const StateType &failLabel)

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static StateType	result (const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string, const StateType &failLabel)

Detailed Description

Implementation of automaton run over its input returning the reached state.

Member Function Documentation

◆ result() [1/14]

template<class SymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &	automaton,
		const tree::UnrankedTree< SymbolType > &	tree
	)

static

Here is the call graph for this function:

◆ result() [2/14]

template<class SymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &	automaton,
		const tree::UnrankedTree< SymbolType > &	tree,
		const StateType &	failLabel
	)

static

◆ result() [3/14]

template<class SymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::DFA< SymbolType, StateType > &	automaton,
		const string::LinearString< SymbolType > &	string
	)

static

General automaton run implementation resulting in the reached state. Generic fail state is returned if the automaton's transition function was not defined for the input.

Template Parameters

SymbolType	type of symbols of the string and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: state where the run stopped

Here is the call graph for this function:

Here is the caller graph for this function:

◆ result() [4/14]

template<class SymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::DFA< SymbolType, StateType > &	automaton,
		const string::LinearString< SymbolType > &	string,
		const StateType &	failLabel
	)

static

General automaton run implementation resulting in the reached state. Given fail state is returned if the automaton's transition function was not defined for the input.

Template Parameters

SymbolType	type of symbols of the string and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton
the	fail state to use when transition function is not defined for the input

Returns: state where the run stopped

◆ result() [5/14]

template<class SymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::DFTA< SymbolType, StateType > &	automaton,
		const tree::RankedTree< SymbolType > &	tree
	)

static

\override

Template Parameters

SymbolType	type of symbols of tree nodes and terminal symbols of the runned automaton
RankType	type of ranks of tree nodes and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: state where the run stopped

Here is the call graph for this function:

◆ result() [6/14]

template<class SymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::DFTA< SymbolType, StateType > &	automaton,
		const tree::RankedTree< SymbolType > &	tree,
		const StateType &	failLabel
	)

static

\override

Template Parameters

SymbolType	type of symbols of tree nodes and terminal symbols of the runned automaton
RankType	type of ranks of tree nodes and terminal symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton
the	fail state to use when transition function is not defined for the input

Returns: state where the run stopped

◆ result() [7/14]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: state where the run stopped

Here is the call graph for this function:

◆ result() [8/14]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string,
		const StateType &	failLabel
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton
the	fail state to use when transition function is not defined for the input

Returns: state where the run stopped

◆ result() [9/14]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: state where the run stopped

Here is the call graph for this function:

◆ result() [10/14]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string,
		const StateType &	failLabel
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton
the	fail state to use when transition function is not defined for the input

Returns: state where the run stopped

◆ result() [11/14]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: state where the run stopped

Here is the call graph for this function:

◆ result() [12/14]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string,
		const StateType &	failLabel
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton
the	fail state to use when transition function is not defined for the input

Returns: state where the run stopped

◆ result() [13/14]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton

Returns: state where the run stopped

Here is the call graph for this function:

◆ result() [14/14]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

StateType automaton::run::Result::result	(	const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &	automaton,
		const string::LinearString< InputSymbolType > &	string,
		const StateType &	failLabel
	)

static

\override

Template Parameters

InputSymbolType	type of symbols of the string and terminal symbols of the runned automaton
PushdownStoreSymbolType	type of pushdown store symbols of the runned automaton
StateType	type of states of the runned automaton

Parameters

automaton	the runned automaton
string	the input of the automaton
the	fail state to use when transition function is not defined for the input

Returns: state where the run stopped

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

alib2algo/src/automaton/run/Result.h

Static Public Member Functions

Detailed Description

Member Function Documentation

◆ result() [1/14]

◆ result() [2/14]

◆ result() [3/14]

◆ result() [4/14]

◆ result() [5/14]

◆ result() [6/14]

◆ result() [7/14]

◆ result() [8/14]

◆ result() [9/14]

◆ result() [10/14]

◆ result() [11/14]

◆ result() [12/14]

◆ result() [13/14]

◆ result() [14/14]