automaton::simplify::Rename Class Reference

#include <Rename.h>

Public Member Functions
template<class SymbolType , class StateType >
automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, unsigned >	rename (const automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType > &a)
template<class SymbolType , class StateType >
automaton::ArcFactoredDeterministicZAutomaton< SymbolType, unsigned >	rename (const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &a)

Static Public Member Functions
template<class T > requires isDFA < T > || isNFA < T >
static Rename::RenamedAutomaton< T >	rename (const T &fsm)
template<class T > requires isDFTA < T > || isNFTA < T >
static Rename::RenamedTreeAutomaton< T >	rename (const T &fta)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::DPDA< InputSymbolType, unsigned, unsigned >	rename (const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::NPDA< InputSymbolType, unsigned, unsigned >	rename (const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::SinglePopDPDA< InputSymbolType, unsigned, unsigned >	rename (const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::InputDrivenDPDA< InputSymbolType, unsigned, unsigned >	rename (const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::VisiblyPushdownDPDA< InputSymbolType, unsigned, unsigned >	rename (const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, unsigned, unsigned >	rename (const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &pda)
template<class InputSymbolType , class StateType >
static automaton::ArcFactoredNondeterministicZAutomaton< InputSymbolType, unsigned >	rename (const automaton::ArcFactoredNondeterministicZAutomaton< InputSymbolType, StateType > &a)
template<class InputSymbolType , class StateType >
static automaton::ArcFactoredDeterministicZAutomaton< InputSymbolType, unsigned >	rename (const automaton::ArcFactoredDeterministicZAutomaton< InputSymbolType, StateType > &a)

Detailed Description

Rename an automaton. Basically, we rename the automaton's properties (states, pushdown symbols, ...) to integer values in non-defined order.

Unlike Normalize, we can rename also nondeterministic automata as the order is not important.

See also

automaton::simplify::Normalize

Member Function Documentation

rename() [1/12]

template<class InputSymbolType , class StateType >

static automaton::ArcFactoredDeterministicZAutomaton< InputSymbolType, unsigned > automaton::simplify::Rename::rename ( const automaton::ArcFactoredDeterministicZAutomaton< InputSymbolType, StateType > &  a )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts. Rename automaton's states.

Template Parameters

InputSymbolType	Type for input symbols
StateType	Type for states

Parameters

a	z automaton to rename

Returns

z automaton with renamed states

rename() [2/12]

template<class SymbolType , class StateType >

automaton::ArcFactoredDeterministicZAutomaton< SymbolType, unsigned > automaton::simplify::Rename::rename

(

const automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > &

a

)

Here is the call graph for this function:

rename() [3/12]

template<class InputSymbolType , class StateType >

static automaton::ArcFactoredNondeterministicZAutomaton< InputSymbolType, unsigned > automaton::simplify::Rename::rename ( const automaton::ArcFactoredNondeterministicZAutomaton< InputSymbolType, StateType > &  a )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts. Rename automaton's states.

Template Parameters

InputSymbolType	Type for input symbols
StateType	Type for states

Parameters

a	z automaton to rename

Returns

z automaton with renamed states

rename() [4/12]

template<class SymbolType , class StateType >

automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, unsigned > automaton::simplify::Rename::rename

(

const automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType > &

a

)

Here is the call graph for this function:

rename() [5/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::DPDA< InputSymbolType, unsigned, unsigned > automaton::simplify::Rename::rename ( const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts. Rename automaton's states and pushdown store symbols.

Template Parameters

InputSymbolType	Type for input symbols
PushdownStoreSymbolType	Type of epsilon representation
StateType	Type for states

Parameters

pda	pushdown automaton to rename

Returns

pda with renamed states and pushdown store symbols

Here is the call graph for this function:

rename() [6/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::InputDrivenDPDA< InputSymbolType, unsigned, unsigned > automaton::simplify::Rename::rename ( const automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts. Rename automaton's states and pushdown store symbols.

Template Parameters

InputSymbolType	Type for input symbols
PushdownStoreSymbolType	Type of epsilon representation
StateType	Type for states

Parameters

pda	pushdown automaton to rename

Returns

pda with renamed states and pushdown store symbols

Here is the call graph for this function:

rename() [7/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::NPDA< InputSymbolType, unsigned, unsigned > automaton::simplify::Rename::rename ( const automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts. Rename automaton's states and pushdown store symbols.

Template Parameters

InputSymbolType	Type for input symbols
PushdownStoreSymbolType	Type of epsilon representation
StateType	Type for states

Parameters

pda	pushdown automaton to rename

Returns

pda with renamed states and pushdown store symbols

Here is the call graph for this function:

rename() [8/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, unsigned, unsigned > automaton::simplify::Rename::rename ( const automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts. Rename automaton's states and pushdown store symbols.

Template Parameters

InputSymbolType	Type for input symbols
PushdownStoreSymbolType	Type of epsilon representation
StateType	Type for states

Parameters

pda	pushdown automaton to rename

Returns

pda with renamed states and pushdown store symbols

Here is the call graph for this function:

rename() [9/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::SinglePopDPDA< InputSymbolType, unsigned, unsigned > automaton::simplify::Rename::rename ( const automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts. Rename automaton's states and pushdown store symbols.

Template Parameters

InputSymbolType	Type for input symbols
PushdownStoreSymbolType	Type of epsilon representation
StateType	Type for states

Parameters

pda	pushdown automaton to rename

Returns

pda with renamed states and pushdown store symbols

Here is the call graph for this function:

rename() [10/12]

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >

automaton::VisiblyPushdownDPDA< InputSymbolType, unsigned, unsigned > automaton::simplify::Rename::rename ( const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &  pda )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts. Rename automaton's states and pushdown store symbols.

Template Parameters

InputSymbolType	Type for input symbols
PushdownStoreSymbolType	Type of epsilon representation
StateType	Type for states

Parameters

pda	pushdown automaton to rename

Returns

pda with renamed states and pushdown store symbols

Here is the call graph for this function:

rename() [11/12]

template<class T >
requires isDFA < T > || isNFA < T >

static Rename::RenamedAutomaton< T > automaton::simplify::Rename::rename ( const T &  fsm )

static

Rename automaton's states.

Template Parameters

T	Type of automaton to rename

Parameters

nfa	finite automaton to rename

Returns

dfa with renamed states

Here is the caller graph for this function:

rename() [12/12]

template<class T >
requires isDFTA < T > || isNFTA < T >

static Rename::RenamedTreeAutomaton< T > automaton::simplify::Rename::rename ( const T &  fta )

static

Rename automaton's states.

Template Parameters

T	Type of tree automaton to rename

Parameters

fta	finite tree automaton to rename

Returns

fta with renamed states

---

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

• alib2algo/src/automaton/simplify/Rename.h