- Main Page
- Modules
- Namespaces
- Classes
- Files
- 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 | standardize (Element< A, T > &a)
| Returns a standard automaton associated to the input.
template<typename A, typename T>
bool | is_standard (const Element< A, T > &a)
| Returns true if the input automaton is standard.
template<typename A, typename T, typename U>
void | 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 > | 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 | 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 > | 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 | star_of_standard_here (Element< A, T > &a)
| In-place star transformation of a standard automata.
template<typename A, typename T>
Element< A, T > | 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.