compare::AutomatonCompare Class Reference

#include <AutomatonCompare.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static bool	compare (const automaton::DFA< SymbolType, StateType > &a, const automaton::DFA< SymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::NFA< SymbolType, StateType > &a, const automaton::NFA< SymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::MultiInitialStateNFA< SymbolType, StateType > &a, const automaton::MultiInitialStateNFA< SymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::EpsilonNFA< SymbolType, StateType > &a, const automaton::EpsilonNFA< SymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::ExtendedNFA< SymbolType, StateType > &a, const automaton::ExtendedNFA< SymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::CompactDFA< SymbolType, StateType > &a, const automaton::CompactDFA< SymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::CompactNFA< SymbolType, StateType > &a, const automaton::CompactNFA< SymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::DFTA< SymbolType, StateType > &a, const automaton::DFTA< SymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::NFTA< SymbolType, StateType > &a, const automaton::NFTA< SymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static bool	compare (const automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &a, const automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &b)
template<class SymbolType , class StateType >
static bool	compare (const automaton::OneTapeDTM< SymbolType, StateType > &a, const automaton::OneTapeDTM< SymbolType, StateType > &b)

Member Function Documentation

compare() [1/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::CompactDFA< SymbolType, StateType > &  a, const automaton::CompactDFA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [2/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::CompactNFA< SymbolType, StateType > &  a, const automaton::CompactNFA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [3/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::DFA< SymbolType, StateType > &  a, const automaton::DFA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

compare() [4/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::DFTA< SymbolType, StateType > &  a, const automaton::DFTA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [5/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [6/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::EpsilonNFA< SymbolType, StateType > &  a, const automaton::EpsilonNFA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [7/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::ExtendedNFA< SymbolType, StateType > &  a, const automaton::ExtendedNFA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [8/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [9/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [10/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::MultiInitialStateNFA< SymbolType, StateType > &  a, const automaton::MultiInitialStateNFA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [11/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::NFA< SymbolType, StateType > &  a, const automaton::NFA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [12/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::NFTA< SymbolType, StateType > &  a, const automaton::NFTA< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [13/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [14/20]

template<class SymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::OneTapeDTM< SymbolType, StateType > &  a, const automaton::OneTapeDTM< SymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [15/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [16/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [17/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [18/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [19/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

compare() [20/20]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

bool compare::AutomatonCompare::compare ( const automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  a, const automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  b  )

static

Here is the call graph for this function:

---

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

• alib2aux/src/compare/AutomatonCompare.h