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

#include <TikZConverter.h>

Data Structures

class  FormalRTEVisitor
 

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<typename TCoordinate , typename TEdge >
static void convert (ext::ostream &out, const grid::SquareGrid4< TCoordinate, TEdge > &a)
 
template<typename TCoordinate , typename TEdge >
static void convert (ext::ostream &out, const grid::SquareGrid8< TCoordinate, TEdge > &a)
 
template<typename TCoordinate , typename TEdge >
static void convert (ext::ostream &out, const grid::WeightedSquareGrid4< TCoordinate, TEdge > &a)
 
template<typename TCoordinate , typename TEdge >
static void convert (ext::ostream &out, const grid::WeightedSquareGrid8< TCoordinate, TEdge > &a)
 
template<class T >
static std::string convert (const T &automaton)
 
template<class SymbolType >
static void convert (ext::ostream &out, const rte::FormalRTE< SymbolType > &rte)
 

Member Function Documentation

◆ convert() [1/25]

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

◆ convert() [2/25]

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

◆ convert() [3/25]

template<class SymbolType , class StateType >
void convert::TikZConverter::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/25]

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

◆ convert() [5/25]

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

◆ convert() [6/25]

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

◆ convert() [7/25]

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

◆ convert() [8/25]

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

◆ convert() [9/25]

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

◆ convert() [10/25]

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

◆ convert() [11/25]

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

◆ convert() [12/25]

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

◆ convert() [13/25]

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

◆ convert() [14/25]

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

◆ convert() [15/25]

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

◆ convert() [16/25]

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

◆ convert() [17/25]

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

◆ convert() [18/25]

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

◆ convert() [19/25]

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

◆ convert() [20/25]

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

◆ convert() [21/25]

template<typename TCoordinate , typename TEdge >
static void convert::TikZConverter::convert ( ext::ostream &  out,
const grid::SquareGrid4< TCoordinate, TEdge > &  a 
)
inlinestatic

◆ convert() [22/25]

template<typename TCoordinate , typename TEdge >
static void convert::TikZConverter::convert ( ext::ostream &  out,
const grid::SquareGrid8< TCoordinate, TEdge > &  a 
)
inlinestatic

◆ convert() [23/25]

template<typename TCoordinate , typename TEdge >
static void convert::TikZConverter::convert ( ext::ostream &  out,
const grid::WeightedSquareGrid4< TCoordinate, TEdge > &  a 
)
inlinestatic

◆ convert() [24/25]

template<typename TCoordinate , typename TEdge >
static void convert::TikZConverter::convert ( ext::ostream &  out,
const grid::WeightedSquareGrid8< TCoordinate, TEdge > &  a 
)
inlinestatic

◆ convert() [25/25]

template<class SymbolType >
void convert::TikZConverter::convert ( ext::ostream &  out,
const rte::FormalRTE< SymbolType > &  rte 
)
static
Here is the call graph for this function:
The documentation for this class was generated from the following file:
Generated on Mon Dec 27 2021 10:22:04 for Algorithms Library Toolkit by doxygen 1.9.2