Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

standard.hh File Reference

Several algorithms concerning standard automata. More...

Include dependency graph for standard.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>
void vcsn::standardize (Element< A, T > &a)
 Returns a standard automaton associated to the input.
template<typename A, typename T>
bool vcsn::is_standard (const Element< A, T > &a)
 Returns true if the input automaton is standard.
template<typename A, typename T, typename U>
void vcsn::union_of_standard_here (Element< A, T > &lhs, const Element< A, U > &rhs)
 In-place union of two standard automata.
template<typename A, typename T, typename U>
Element< A, T > vcsn::union_of_standard (const Element< A, T > &lhs, const Element< A, U > &rhs)
 Return a fresh union of two standard automata.
template<typename A, typename T, typename U>
void vcsn::concat_of_standard_here (Element< A, T > &lhs, const Element< A, U > &rhs)
 In-place concatenation of two standard automata.
template<typename A, typename T, typename U>
Element< A, T > vcsn::concat_of_standard (const Element< A, T > &lhs, const Element< A, U > &rhs)
 Return a fresh concatenation of two standard automata.
template<typename A, typename T>
void vcsn::star_of_standard_here (Element< A, T > &a)
 In-place star transformation of a standard automata.
template<typename A, typename T>
Element< A, T > vcsn::star_of_standard (const Element< A, T > &a)
 Return the fresh star transformation of a standard automata.


Detailed Description

Several algorithms concerning standard automata.

This file contains different operations which can be applied on standard automata.

For Boolean automata, see ETA Chapter 1, Section 5.1. For K-automata, see ETA Chapter 3, Section 2. See also the correction of the exercice 2.24 p.540.

See also:
standardize(), is_standard(), concat_of_standard(), union_of_standard(), star_of_standard()

Definition in file standard.hh.


Generated on Fri Oct 12 21:26:46 2007 for Vaucanson by  doxygen 1.4.4