Thompson normalization operations. More...
Include dependency graph for normalized.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| namespace | vcsn |
The main namespace of the Vaucanson library. | |
Functions | |
| template<typename A , typename AI > | |
| Element< A, AI > | normalize (const Element< A, AI > &a) |
| Return the fresh thompson-normalized automaton. | |
| template<typename A , typename AI > | |
| void | normalize_here (Element< A, AI > &a) |
| In-place normalize to the thompson form. | |
| template<typename A , typename AI > | |
| bool | is_normalized (const Element< A, AI > &a) |
| Return true if the input automaton is thompson-normalized. | |
| template<typename A , typename AI1 , typename AI2 > | |
| void | union_of_normalized_here (Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs) |
| Do the in-place union of two thompson-normalized automata. | |
| template<typename A , typename AI1 , typename AI2 > | |
| Element< A, AI1 > | union_of_normalized (const Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs) |
| Return the fresh union of two thompson-normalized automata. | |
| template<typename A , typename AI1 , typename AI2 > | |
| void | concatenate_of_normalized_here (Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs) |
| Do the in-place concatenation of two thompson-normalized automata. | |
| template<typename A , typename AI1 , typename AI2 > | |
| Element< A, AI1 > | concatenate_of_normalized (const Element< A, AI1 > &lhs, const Element< A, AI2 > &rhs) |
| Return the fresh concatenation of two thompson-normalized automata. | |
| template<typename A , typename AI > | |
| void | star_of_normalized_here (Element< A, AI > &a) |
| Do in-place star transformation on the thompson-normalized input. | |
| template<typename A , typename AI > | |
| Element< A, AI > | star_of_normalized (const Element< A, AI > &a) |
| Return the fresh star transformation of its normalized input. | |
Detailed Description
Thompson normalization operations.
Algorithms related to Thompson automata normalization, and Thompson-normalized automata operations.
- See also:
- normalize(), is_normalized(), union_of_normalized(), concatenate_of_normalized(), star_of_normalized()
Definition in file normalized.hh.
