Occurrences.h

Go to the documentation of this file.

 
#pragma once
 
#include <string/LinearString.h>
#include <tree/ranked/RankedTree.h>
 
#include "Run.h"
#include <automaton/FSM/DFA.h>
#include <automaton/TA/DFTA.h>
#include <automaton/TA/UnorderedDFTA.h>
#include <automaton/PDA/InputDrivenDPDA.h>
#include <automaton/PDA/VisiblyPushdownDPDA.h>
#include <automaton/PDA/RealTimeHeightDeterministicDPDA.h>
#include <automaton/PDA/DPDA.h>
 
#include <alib/deque>
 
namespace automaton {
 
namespace run {
 
class Occurrences {
public:
    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 );
 
};
 
template < class SymbolType, class StateType >
ext::set < unsigned > Occurrences::occurrences ( const automaton::DFA < SymbolType, StateType > & automaton, const string::LinearString < SymbolType > & string ) {
    ext::tuple < bool, StateType, ext::set < unsigned > > res = Run::calculateState ( automaton, string );
 
    return std::get < 2 > ( res );
}
 
template < class SymbolType, class StateType >
ext::set < unsigned > Occurrences::occurrences ( const automaton::DFTA < SymbolType, StateType > & automaton, const tree::RankedTree < SymbolType > & tree ) {
    ext::tuple < bool, StateType, ext::set < unsigned > > res = Run::calculateState ( automaton, tree );
 
    return std::get < 2 > ( res );
}
 
template < class SymbolType, class StateType >
ext::set < unsigned > Occurrences::occurrences ( const automaton::ArcFactoredDeterministicZAutomaton < SymbolType, StateType > & automaton, const tree::UnrankedTree < SymbolType > & tree ) {
    ext::tuple < bool, StateType, ext::set < unsigned > > res = Run::calculateState ( automaton, tree );
 
    return std::get < 2 > ( res );
}
 
template < class SymbolType, class StateType >
ext::set < unsigned > Occurrences::occurrences ( const automaton::UnorderedDFTA < SymbolType, StateType > & automaton, const tree::UnorderedRankedTree < SymbolType > & tree ) {
    ext::tuple < bool, StateType, ext::set < unsigned > > res = Run::calculateState ( automaton, tree );
 
    return std::get < 2 > ( res );
}
 
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
ext::set < unsigned > Occurrences::occurrences ( const automaton::InputDrivenDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton, const string::LinearString < InputSymbolType > & string ) {
    ext::tuple < bool, StateType, ext::set < unsigned >, ext::deque < PushdownStoreSymbolType > > res = Run::calculateState ( automaton, string );
 
    return std::get < 2 > ( res );
}
 
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
ext::set < unsigned > Occurrences::occurrences ( const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton, const string::LinearString < InputSymbolType > & string ) {
    ext::tuple < bool, StateType, ext::set < unsigned >, ext::deque < PushdownStoreSymbolType > > res = Run::calculateState ( automaton, string );
 
    return std::get < 2 > ( res );
}
 
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
ext::set < unsigned > Occurrences::occurrences ( const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton, const string::LinearString < InputSymbolType > & string ) {
    ext::tuple < bool, StateType, ext::set < unsigned >, ext::deque < PushdownStoreSymbolType > > res = Run::calculateState ( automaton, string );
 
    return std::get < 2 > ( res );
}
 
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
ext::set < unsigned > Occurrences::occurrences ( const automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton, const string::LinearString < InputSymbolType > & string ) {
    ext::tuple < bool, StateType, ext::set < unsigned >, ext::deque < PushdownStoreSymbolType > > res = Run::calculateState ( automaton, string );
 
    return std::get < 2 > ( res );
}
 
} /* namespace run */
 
} /* namespace automaton */