automaton::run::Occurrences Class Reference

Implementation of automaton run over its input reporting occurrences . More...

#include <Occurrences.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static ext::set< unsigned >	occurrences (const automaton::DFA< SymbolType, StateType > &automaton, const string::LinearString< SymbolType > &string)
template<class SymbolType , class StateType >
static ext::set< unsigned >	occurrences (const automaton::DFTA< SymbolType, StateType > &automaton, const tree::RankedTree< SymbolType > &tree)
template<class SymbolType , class StateType >
static ext::set< unsigned >	occurrences (const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &automaton, const tree::UnrankedTree< SymbolType > &tree)
template<class SymbolType , class StateType >
static ext::set< unsigned >	occurrences (const automaton::UnorderedDFTA< SymbolType, StateType > &automaton, const tree::UnorderedRankedTree< SymbolType > &tree)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static ext::set< unsigned >	occurrences (const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static ext::set< unsigned >	occurrences (const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static ext::set< unsigned >	occurrences (const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static ext::set< unsigned >	occurrences (const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string)

Detailed Description

Implementation of automaton run over its input reporting occurrences .

Member Function Documentation

occurrences() [1/8]

template<class SymbolType , class StateType >

ext::set< unsigned > automaton::run::Occurrences::occurrences ( const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &  automaton, const tree::UnrankedTree< SymbolType > &  tree  )

static

occurrences() [2/8]

template<class SymbolType , class StateType >

ext::set< unsigned > automaton::run::Occurrences::occurrences ( const automaton::DFA< SymbolType, StateType > &  automaton, const string::LinearString< SymbolType > &  string  )

static

Automaton occurrences run implementation.

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

set of indexes to the string where the automaton passed a final state

occurrences() [3/8]

template<class SymbolType , class StateType >

ext::set< unsigned > automaton::run::Occurrences::occurrences ( 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

set of indexes to the tree where the automaton passed a final state (as in the postorder traversal)

occurrences() [4/8]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

ext::set< unsigned > automaton::run::Occurrences::occurrences ( 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

set of indexes to the tree where the automaton passed a final state

occurrences() [5/8]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

ext::set< unsigned > automaton::run::Occurrences::occurrences ( 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

set of indexes to the tree where the automaton passed a final state

occurrences() [6/8]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

ext::set< unsigned > automaton::run::Occurrences::occurrences ( 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

set of indexes to the tree where the automaton passed a final state

occurrences() [7/8]

template<class SymbolType , class StateType >

ext::set< unsigned > automaton::run::Occurrences::occurrences ( const automaton::UnorderedDFTA< SymbolType, StateType > &  automaton, const tree::UnorderedRankedTree< 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

set of indexes to the tree where the automaton passed a final state (as in the postorder traversal)

occurrences() [8/8]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

ext::set< unsigned > automaton::run::Occurrences::occurrences ( 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

set of indexes to the tree where the automaton passed a final

---

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

• alib2algo/src/automaton/run/Occurrences.h