normalized.hh File Reference

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

Functions

template<typename A, typename T>
Element< A, T > vcsn::normalize (const Element< A, T > &a)
 Return the fresh thompson-normalized automaton.
template<typename A, typename T>
void vcsn::normalize_here (Element< A, T > &a)
 In-place normalize to the thompson form.
template<typename A, typename T>
bool vcsn::is_normalized (const Element< A, T > &a)
 Return true if the input automaton is thompson-normalized.
template<typename A, typename T, typename U>
void vcsn::union_of_normalized_here (Element< A, T > &lhs, const Element< A, U > &rhs)
 Do the in-place union of two thompson-normalized automata.
template<typename A, typename T, typename U>
Element< A, T > vcsn::union_of_normalized (const Element< A, T > &lhs, const Element< A, U > &rhs)
 Return the fresh union of two thompson-normalized automata.
template<typename A, typename T, typename U>
void vcsn::concatenate_of_normalized_here (Element< A, T > &lhs, const Element< A, U > &rhs)
 Do the in-place concatenation of two thompson-normalized automata.
template<typename A, typename T, typename U>
Element< A, T > vcsn::concatenate_of_normalized (const Element< A, T > &lhs, const Element< A, U > &rhs)
 Return the fresh concatenation of two thompson-normalized automata.
template<typename A, typename T>
void vcsn::star_of_normalized_here (Element< A, T > &a)
 Do in-place star transformation on the thompson-normalized input.
template<typename A, typename T>
Element< A, T > vcsn::star_of_normalized (const Element< A, T > &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.


Generated on Fri Jul 28 12:27:03 2006 for Vaucanson by  doxygen 1.4.6