Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Public Member Functions | Static Public Member Functions
convert::GasTexConverter Class Reference

#include <GasTexConverter.h>

Public Member Functions

template<class SymbolType , class PushdownStoreSymbolType , class StateType >
void transitions (const automaton::InputDrivenDPDA< SymbolType, PushdownStoreSymbolType, StateType > &pda, ext::ostream &out)
 

Static Public Member Functions

template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::DFA< SymbolType, StateType > &a)
 
template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::NFA< SymbolType, StateType > &a)
 
template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::MultiInitialStateNFA< SymbolType, StateType > &a)
 
template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::EpsilonNFA< SymbolType, StateType > &a)
 
template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::ExtendedNFA< SymbolType, StateType > &a)
 
template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::CompactNFA< SymbolType, StateType > &a)
 
template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::NFTA< SymbolType, StateType > &a)
 
template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::DFTA< SymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a)
 
template<class SymbolType , class StateType >
static void convert (ext::ostream &out, const automaton::OneTapeDTM< SymbolType, StateType > &a)
 
template<class T >
static std::string convert (const T &automaton)
 

Member Function Documentation

◆ convert() [1/20]

template<class T >
static std::string convert::GasTexConverter::convert ( const T &  automaton)
inlinestatic
Here is the call graph for this function:

◆ convert() [2/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::CompactNFA< SymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [3/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::DFA< SymbolType, StateType > &  a 
)
static
Here is the call graph for this function:
Here is the caller graph for this function:

◆ convert() [4/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::DFTA< SymbolType, StateType > &  a 
)
static

◆ convert() [5/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [6/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::EpsilonNFA< SymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [7/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::ExtendedNFA< SymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [8/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [9/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [10/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::MultiInitialStateNFA< SymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [11/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::NFA< SymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [12/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::NFTA< SymbolType, StateType > &  a 
)
static

◆ convert() [13/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [14/20]

template<class SymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::OneTapeDTM< SymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [15/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [16/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [17/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [18/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [19/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ convert() [20/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::convert ( ext::ostream &  out,
const automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a 
)
static
Here is the call graph for this function:

◆ transitions()

template<class SymbolType , class PushdownStoreSymbolType , class StateType >
void convert::GasTexConverter::transitions ( const automaton::InputDrivenDPDA< SymbolType, PushdownStoreSymbolType, StateType > &  pda,
ext::ostream &  out 
)
Here is the call graph for this function:
The documentation for this class was generated from the following files:
Generated on Mon Dec 27 2021 10:22:04 for Algorithms Library Toolkit by doxygen 1.9.2