automaton::properties::efficient::AllEpsilonClosure Class Reference

#include <AllEpsilonClosure.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static ext::map< StateType, ext::set< StateType > >	allEpsilonClosure (const automaton::EpsilonNFA< SymbolType, StateType > &fsm)
template<class SymbolType , class StateType >
static ext::map< StateType, ext::set< StateType > >	allEpsilonClosure (const automaton::MultiInitialStateNFA< SymbolType, StateType > &fsm)
template<class SymbolType , class StateType >
static ext::map< StateType, ext::set< StateType > >	allEpsilonClosure (const automaton::NFA< SymbolType, StateType > &fsm)
template<class SymbolType , class StateType >
static ext::map< StateType, ext::set< StateType > >	allEpsilonClosure (const automaton::DFA< SymbolType, StateType > &fsm)
template<class SymbolType , class StateType >
static ext::map< StateType, ext::set< StateType > >	allEpsilonClosure (const automaton::ExtendedNFA< SymbolType, StateType > &fsm)
template<class SymbolType , class StateType >
static ext::map< StateType, ext::set< StateType > >	allEpsilonClosure (const automaton::CompactNFA< SymbolType, StateType > &fsm)

Member Function Documentation

allEpsilonClosure() [1/6]

template<class SymbolType , class StateType >

ext::map< StateType, ext::set< StateType > > automaton::properties::efficient::AllEpsilonClosure::allEpsilonClosure ( const automaton::CompactNFA< SymbolType, StateType > &  fsm )

static

Here is the call graph for this function:

allEpsilonClosure() [2/6]

template<class SymbolType , class StateType >

ext::map< StateType, ext::set< StateType > > automaton::properties::efficient::AllEpsilonClosure::allEpsilonClosure ( const automaton::DFA< SymbolType, StateType > &  fsm )

static

Here is the call graph for this function:

allEpsilonClosure() [3/6]

template<class SymbolType , class StateType >

ext::map< StateType, ext::set< StateType > > automaton::properties::efficient::AllEpsilonClosure::allEpsilonClosure ( const automaton::EpsilonNFA< SymbolType, StateType > &  fsm )

static

Computes allEpsilon closure of a state in allEpsilon nonfree automaton

Here is the call graph for this function:

Here is the caller graph for this function:

allEpsilonClosure() [4/6]

template<class SymbolType , class StateType >

ext::map< StateType, ext::set< StateType > > automaton::properties::efficient::AllEpsilonClosure::allEpsilonClosure ( const automaton::ExtendedNFA< SymbolType, StateType > &  fsm )

static

Here is the call graph for this function:

allEpsilonClosure() [5/6]

template<class SymbolType , class StateType >

ext::map< StateType, ext::set< StateType > > automaton::properties::efficient::AllEpsilonClosure::allEpsilonClosure ( const automaton::MultiInitialStateNFA< SymbolType, StateType > &  fsm )

static

Here is the call graph for this function:

allEpsilonClosure() [6/6]

template<class SymbolType , class StateType >

ext::map< StateType, ext::set< StateType > > automaton::properties::efficient::AllEpsilonClosure::allEpsilonClosure ( const automaton::NFA< SymbolType, StateType > &  fsm )

static

Here is the call graph for this function:

---

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

• alib2elgo/src/automaton/properties/efficient/AllEpsilonClosure.h