automaton::simplify::efficient::EpsilonRemoverIncoming Class Reference

#include <EpsilonRemoverIncoming.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static automaton::NFA< SymbolType, StateType >	remove (const automaton::EpsilonNFA< SymbolType, StateType > &fsm)
template<class SymbolType , class StateType >
static automaton::MultiInitialStateNFA< SymbolType, StateType >	remove (const automaton::MultiInitialStateNFA< SymbolType, StateType > &fsm)
template<class SymbolType , class StateType >
static automaton::NFA< SymbolType, StateType >	remove (const automaton::NFA< SymbolType, StateType > &fsm)
template<class SymbolType , class StateType >
static automaton::DFA< SymbolType, StateType >	remove (const automaton::DFA< SymbolType, StateType > &fsm)

Member Function Documentation

remove() [1/4]

template<class SymbolType , class StateType >

automaton::DFA< SymbolType, StateType > automaton::simplify::efficient::EpsilonRemoverIncoming::remove ( const automaton::DFA< SymbolType, StateType > &  fsm )

static

remove() [2/4]

template<class SymbolType , class StateType >

automaton::NFA< SymbolType, StateType > automaton::simplify::efficient::EpsilonRemoverIncoming::remove ( const automaton::EpsilonNFA< SymbolType, StateType > &  fsm )

static

Computes epsilon closure of a state in epsilon nonfree automaton

Step 1 from Melichar 2.41

Step 2 from Melichar 2.41

Here is the call graph for this function:

remove() [3/4]

template<class SymbolType , class StateType >

automaton::MultiInitialStateNFA< SymbolType, StateType > automaton::simplify::efficient::EpsilonRemoverIncoming::remove ( const automaton::MultiInitialStateNFA< SymbolType, StateType > &  fsm )

static

remove() [4/4]

template<class SymbolType , class StateType >

automaton::NFA< SymbolType, StateType > automaton::simplify::efficient::EpsilonRemoverIncoming::remove ( const automaton::NFA< SymbolType, StateType > &  fsm )

static

---

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

• alib2elgo/src/automaton/simplify/efficient/EpsilonRemoverIncoming.h