convert::DotConverter Class Reference

#include <DotConverter.h>

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::EpsilonNFTA< SymbolType, StateType > &a)
template<class SymbolType , class StateType >
static void	convert (ext::ostream &out, const automaton::UnorderedNFTA< SymbolType, StateType > &a)
template<class SymbolType , class StateType >
static void	convert (ext::ostream &out, const automaton::ExtendedNFTA< SymbolType, StateType > &a)
template<class SymbolType , class StateType >
static void	convert (ext::ostream &out, const automaton::DFTA< SymbolType, StateType > &a)
template<class SymbolType , class StateType >
static void	convert (ext::ostream &out, const automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType > &a)
template<class SymbolType , class StateType >
static void	convert (ext::ostream &out, const automaton::NondeterministicZAutomaton< 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 SymbolType >
static void	convert (ext::ostream &out, const rte::FormalRTE< SymbolType > &e)
template<class SymbolType >
static void	convert (ext::ostream &out, const tree::RankedTree< SymbolType > &e)
template<class T >
static std::string	convert (const T &automaton)

Member Function Documentation

convert() [1/27]

template<class T >

static std::string convert::DotConverter::convert ( const T &  automaton )

inlinestatic

Here is the call graph for this function:

convert() [2/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [3/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::CompactNFA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [4/27]

template<class SymbolType , class StateType >

void convert::DotConverter::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() [5/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::DFTA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [6/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [7/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::EpsilonNFA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [8/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::EpsilonNFTA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [9/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::ExtendedNFA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [10/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::ExtendedNFTA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [11/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [12/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [13/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::MultiInitialStateNFA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [14/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::NFA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [15/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::NFTA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [16/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::NondeterministicZAutomaton< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [17/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [18/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::OneTapeDTM< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [19/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [20/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [21/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [22/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [23/27]

template<class SymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::UnorderedNFTA< SymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [24/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [25/27]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

void convert::DotConverter::convert ( ext::ostream &  out, const automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a  )

static

Here is the call graph for this function:

convert() [26/27]

template<class SymbolType >

void convert::DotConverter::convert ( ext::ostream &  out, const rte::FormalRTE< SymbolType > &  e  )

static

Here is the call graph for this function:

convert() [27/27]

template<class SymbolType >

void convert::DotConverter::convert ( ext::ostream &  out, const tree::RankedTree< SymbolType > &  e  )

static

Here is the call graph for this function:

---

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

• alib2aux/src/convert/DotConverter.h