automaton::properties::efficient::UsefulStates Class Reference

#include <UsefulStates.h>

Static Public Member Functions
template<class T >
static ext::set< typename T::StateType >	usefulStates (const T &fsm)

Member Function Documentation

usefulStates()

template<class T >

ext::set< typename T::StateType > automaton::properties::efficient::UsefulStates::usefulStates ( const T &  fsm )

static

Removes dead states from FSM. Melichar 2.32

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/properties/efficient/UsefulStates.h