automaton::simplify::efficient::UnreachableStatesRemover Class Reference

#include <UnreachableStatesRemover.h>

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

Member Function Documentation

remove() [1/2]

template<class SymbolType , class StateType >

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

static

Here is the call graph for this function:

remove() [2/2]

template<class T >

T automaton::simplify::efficient::UnreachableStatesRemover::remove ( const T &  fsm )

static

Removes dead states from FSM. Melichar 2.29

Here is the call graph for this function:

Here is the caller graph for this function:

---

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

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