Operators on automata
[Automata]

Collaboration diagram for Operators on automata:

Files
file	automata_ops.hh
	This file holds the default operations for the elements of the automata set.
Functions
template<class S, class T, typename OutputIterator>
void	vcsn::op_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::edges k)
	store the output edges of the state 'from' using 'res'.
template<class S, class T, typename OutputIterator, typename L>
void	vcsn::op_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, const L &query, delta_kind::edges k)
	Delta using a query, with iterator output.
template<class S, class T, typename OutputIterator, typename L>
void	vcsn::op_letter_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, const L &letter, delta_kind::edges k)
	Delta on a letter, with iterator output.
template<class S, class T, typename OutputIterator>
void	vcsn::op_spontaneous_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::edges k)
	Store the output spontaneous transitions.
template<class S, class T, typename Container>
void	vcsn::op_deltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, delta_kind::edges k)
	Store the output edges of the state 'from' in the container 'res'.
template<class S, class T, typename Container, typename L>
void	vcsn::op_deltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, const L &query, delta_kind::edges k)
	Delta using a query, with container output.
template<class S, class T, typename Container, typename L>
void	vcsn::op_letter_deltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, const L &letter, delta_kind::edges k)
	Delta on a letter, with container output.
template<class S, class T, class Container>
void	vcsn::op_spontaneous_deltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, delta_kind::edges k)
	Store the output op_spontaneous transitions.
template<class S, class T, typename OutputIterator>
void	vcsn::op_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::states k)
	Store the output states of the state 'from' using 'res'.
template<class S, class T, typename OutputIterator, typename L>
void	vcsn::op_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, const L &query, delta_kind::states k)
	Delta using a query, with iterator output.
template<class S, class T, typename OutputIterator, typename L>
void	vcsn::op_letter_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, const L &letter, delta_kind::states k)
	Delta on a letter, with iterator output.
template<class S, class T, typename OutputIterator>
void	vcsn::op_spontaneous_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::states k)
	Store the output op_spontaneous transitions.
template<class S, class T, typename Container>
void	vcsn::op_deltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, delta_kind::states k)
	Store the output states of the state 'from' in the container 'res'.
template<class S, class T, typename Container, typename L>
void	vcsn::op_deltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, const L &query, delta_kind::states k)
	Delta using a quesry, with container output.
template<class S, class T, typename Container, typename L>
void	vcsn::op_letter_deltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, const L &letter, delta_kind::states k)
	Delta on a letter, with container output.
template<class S, class T, typename Container>
void	vcsn::op_spontaneous_deltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, delta_kind::states k)
	Store the output op_spontaneous transitions.
template<class S, class T, typename OutputIterator>
void	vcsn::op_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::edges k)
	Store the output edges of the state 'from' using 'res'.
template<class S, class T, typename OutputIterator, typename L>
void	vcsn::op_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, const L &query, delta_kind::edges k)
	Reverse delta using a query, with iterator output.
template<class S, class T, typename OutputIterator, typename L>
void	vcsn::op_letter_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, const L &letter, delta_kind::edges k)
	Reverse delta on a letter, with iterator output.
template<class S, class T, typename OutputIterator>
void	vcsn::op_spontaneous_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::edges k)
	Store the output op_spontaneous transitions.
template<class S, class T, typename Container>
void	vcsn::op_rdeltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, delta_kind::edges k)
	store the output edges of the state 'from' in the container 'res'.
template<class S, class T, typename Container, typename L>
void	vcsn::op_rdeltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, const L &query, delta_kind::edges k)
	Reverse delta using a query, with container output.
template<class S, class T, typename Container, typename L>
void	vcsn::op_letter_rdeltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, const L &letter, delta_kind::edges k)
	Reverse delta on a letter, with container output.
template<class S, class T, typename Container>
void	vcsn::op_spontaneous_rdeltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, delta_kind::edges k)
	store the output op_spontaneous transitions.
template<class S, class T, typename OutputIterator>
void	vcsn::op_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::states k)
	store the output states of the state 'from' using 'res'.
template<class S, class T, typename OutputIterator, typename L>
void	vcsn::op_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, const L &query, delta_kind::states k)
	Reverse delta using a query, with iterator output.
template<class S, class T, typename OutputIterator, typename L>
void	vcsn::op_letter_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, const L &letter, delta_kind::states k)
	Reverse delta on a letter, with iterator output.
template<class S, class T, typename OutputIterator>
void	vcsn::op_spontaneous_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::states k)
	Store the output op_spontaneous transitions.
template<class S, class T, typename Container>
void	vcsn::op_rdeltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, delta_kind::states k)
	Store the output states of the state 'from' in the container 'res'.
template<class S, class T, typename Container, typename L>
void	vcsn::op_rdeltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, const L &query, delta_kind::states k)
	Reverse delta using a query, with container output.
template<class S, class T, typename Container, typename L>
void	vcsn::op_letter_rdeltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, const L &letter, delta_kind::states k)
	Reverse delta on a letter, with container output.
template<class S, class T, typename Container>
void	vcsn::op_spontaneous_rdeltac (const AutomataBase< S > &, const T &, Container &res, hstate_t from, delta_kind::states k)
	Store the output op_spontaneous transitions.

---

Function Documentation

void op_delta (  const AutomataBase< S > &  , const T &  , OutputIterator  res, hstate_t  from, const L &  query, delta_kind::edges  k )

Delta using a query, with iterator output. Store the output edges of the state 'from' where query(label(e)) is true using 'res'.

void op_letter_delta (  const AutomataBase< S > &  , const T &  , OutputIterator  res, hstate_t  from, const L &  letter, delta_kind::edges  k )

Delta on a letter, with iterator output. Store the output edges of the state 'from' where the label matches the letter.

void op_deltac (  const AutomataBase< S > &  , const T &  , Container &  res, hstate_t  from, const L &  query, delta_kind::edges  k )

Delta using a query, with container output. Store the output edges of the state 'from' where query(label(e)) is true in the container 'res'.

void op_letter_deltac (  const AutomataBase< S > &  , const T &  , Container &  res, hstate_t  from, const L &  letter, delta_kind::edges  k )

Delta on a letter, with container output. Store the output edges of the state 'from' where query(label(e)) is true in the container 'res'.

void op_delta (  const AutomataBase< S > &  , const T &  , OutputIterator  res, hstate_t  from, const L &  query, delta_kind::states  k )

Delta using a query, with iterator output. Store the output states of the state 'from' where query(label(e)) is true using 'res'.

void op_letter_delta (  const AutomataBase< S > &  , const T &  , OutputIterator  res, hstate_t  from, const L &  letter, delta_kind::states  k )

Delta on a letter, with iterator output. Store the output states of the state 'from' where the label matches the letter.

void op_deltac (  const AutomataBase< S > &  , const T &  , Container &  res, hstate_t  from, const L &  query, delta_kind::states  k )

Delta using a quesry, with container output. Store the output states of the state 'from' where query(label(e)) is true in the container 'res'.

void op_letter_deltac (  const AutomataBase< S > &  , const T &  , Container &  res, hstate_t  from, const L &  letter, delta_kind::states  k )

Delta on a letter, with container output. Store the output states of the state 'from' where query(label(e)) is true in the container 'res'.

void op_rdelta (  const AutomataBase< S > &  , const T &  , OutputIterator  res, hstate_t  from, const L &  query, delta_kind::edges  k )

Reverse delta using a query, with iterator output. Store the output edges of the state 'from' where query(label(e)) is true using 'res'.

void op_letter_rdelta (  const AutomataBase< S > &  , const T &  , OutputIterator  res, hstate_t  from, const L &  letter, delta_kind::edges  k )

Reverse delta on a letter, with iterator output. Store the output edges of the state 'from' where the label matches the letter.

void op_rdeltac (  const AutomataBase< S > &  , const T &  , Container &  res, hstate_t  from, const L &  query, delta_kind::edges  k )

Reverse delta using a query, with container output. Store the output edges of the state 'from' where query(label(e)) is true in the container 'res'.

void op_letter_rdeltac (  const AutomataBase< S > &  , const T &  , Container &  res, hstate_t  from, const L &  letter, delta_kind::edges  k )

Reverse delta on a letter, with container output. Store the output edges of the state 'from' where query(label(e)) is true in the container 'res'.

void op_rdelta (  const AutomataBase< S > &  , const T &  , OutputIterator  res, hstate_t  from, const L &  query, delta_kind::states  k )

Reverse delta using a query, with iterator output. Store the output states of the state 'from' where query(label(e)) is true using 'res'.

void op_letter_rdelta (  const AutomataBase< S > &  , const T &  , OutputIterator  res, hstate_t  from, const L &  letter, delta_kind::states  k )

Reverse delta on a letter, with iterator output. Store the output states of the state 'from' where the label matches the letter.

void op_rdeltac (  const AutomataBase< S > &  , const T &  , Container &  res, hstate_t  from, const L &  query, delta_kind::states  k )

Reverse delta using a query, with container output. Store the output states of the state 'from' where query(label(e)) is true in the container 'res'.

void op_letter_rdeltac (  const AutomataBase< S > &  , const T &  , Container &  res, hstate_t  from, const L &  letter, delta_kind::states  k )

Reverse delta on a letter, with container output. Store the output states of the state 'from' where query(label(e)) is true in the container 'res'.

---