automaton::simplify::Trim Class Reference

#include <Trim.h>

Static Public Member Functions
template<class T >
static T	trim (const T &fsm)

Detailed Description

Algorithm for the removal of dead states from a finite automaton. Firstly, it calls the useless states removal algorithm, then unreachable states removal algorithm.

See also

automaton::simplify::UselessStatesRemover

automaton::simplify::UnreachableStatesRemover

Member Function Documentation

trim()

template<class T >

T automaton::simplify::Trim::trim ( const T &  fsm )

static

Removes inaccessible and useless states from the given automaton. Uses first the

See also

UselessStatesRemover and next

UnreachableStatesRemover in the process.

Template Parameters

T	type of a finite automaton

Parameters

fsm	finite automaton or finite tree automaton to trim

Returns

the trimmed automaton equivalent to automaton

Here is the call graph for this function:

---

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

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