#include <Trim.h>
|
| template<class T > |
| static T | trim (const T &grammar) |
| |
Algorithm for the removal of dead symbols from a context free grammar. Firstly, it calls the unproductive symbols removal algorithm, then unreachable symbols removal algorithm.
- See also
- grammar::simplify::UnproduciveSymbolsRemover
-
grammar::simplify::UnreachableSymbolsRemover
◆ trim()
template<class T >
| T grammar::simplify::Trim::trim |
( |
const T & |
grammar | ) |
|
|
static |
Removes unproductive and unreachable symbols from the given grammar. Uses first the
- See also
- UnproductiveSymbolsRemover and next
-
UnreachableSymbolsRemover in the process.
- Template Parameters
-
| T | type of a finite automaton |
- Parameters
-
| grammar | the context free grammar to trim |
- Returns
- the trimmed grammar equivalent to
grammar
The documentation for this class was generated from the following file:
- alib2algo/src/grammar/simplify/Trim.h
