cut_up.hh File Reference

Cut-up algorithm. More...

Include dependency graph for cut_up.hh:

This graph shows which files directly or indirectly include this file:

Namespaces
namespace	vcsn
Functions
template<class S, class T>
bool	is_cut_up (const Element< S, T > &a)
	Check if labels are series with one element.
template<class S, class T>
Element< S, T >	cut_up (const Element< S, T > &a)
	Transform an automaton labeled with series to an automaton where all labels are series with one and only one element.
template<class S, class T>
void	cut_up (const Element< S, T > &a, Element< S, T > &res)
	Transform an automaton labeled with series to an automaton where all labels are series with one and only one element.
template<class S, class T>
void	cut_up_here (Element< S, T > &a)
	Transform an automaton labeled with series to an automaton where all labels are series with one and only one element.

---

Detailed Description

Cut-up algorithm.

Author:

Louis-Noel Pouchet <louis-noel.pouchet@lrde.epita.fr>

---

Function Documentation

bool is_cut_up (  const Element< S, T > &  a  )

Check if labels are series with one element. a Input automaton. Returns: is cut-up.

Element< S, T > cut_up (  const Element< S, T > &  a  )

Transform an automaton labeled with series to an automaton where all labels are series with one and only one element. No cut-up work is done on input and output transitions. Works on all automata and transducers labeled with polynomial series, and on automata labeled with rational series. a Input automaton. Returns: Output automaton.

void cut_up (  const Element< S, T > &  a, Element< S, T > &  res )

Transform an automaton labeled with series to an automaton where all labels are series with one and only one element. No cut-up work is done on input and output transitions. Works on all automata and transducers labeled with polynomial series, and on automata labeled with rational series. a Input automaton. res Output automaton.

void cut_up_here (  Element< S, T > &  a  )

Transform an automaton labeled with series to an automaton where all labels are series with one and only one element. No cut-up work is done on input and output transitions. Works on all automata and transducers labeled with polynomial series, and on automata labeled with rational series. a Input automaton.

---