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.
Default operation on automata.
template<class S, class T>
const automaton_traits< T >::tag_t &	vcsn::op_get_tag (const AutomataBase< S > &, const T &)
template<class S, class T>
automaton_traits< T >::tag_t &	vcsn::op_get_tag (const AutomataBase< S > &, T &)
template<class S, class T>
const automaton_traits< T >::geometry_t &	vcsn::op_get_geometry (const AutomataBase< S > &, const T &)
template<class S, class T>
automaton_traits< T >::geometry_t &	vcsn::op_get_geometry (const AutomataBase< S > &, T &)
template<class S, class T>
bool	vcsn::op_exists (const AutomataBase< S > &s, const T &)
template<class S, class T>
automaton_traits< T >::states_t	vcsn::op_states (const AutomataBase< S > &, const T &)
template<class S, class T>
automaton_traits< T >::transitions_t	vcsn::op_transitions (const AutomataBase< S > &, const T &)
template<class S, class T>
automaton_traits< T >::initial_support_t	vcsn::op_initial (const AutomataBase< S > &, const T &)
template<class S, class T>
automaton_traits< T >::final_support_t	vcsn::op_final (const AutomataBase< S > &, const T &)
template<class S, class T>
void	vcsn::op_set_initial (const AutomataBase< S > &, T &, hstate_t state, const typename Element< S, T >::series_set_elt_t &s)
template<class S, class T>
Element< S, T >::series_set_elt_t	vcsn::op_get_initial (const AutomataBase< S > &, const T &, hstate_t state)
template<class S, class T>
void	vcsn::op_set_final (const AutomataBase< S > &, T &, hstate_t state, const typename Element< S, T >::series_set_elt_t &s)
template<class S, class T>
Element< S, T >::series_set_elt_t	vcsn::op_get_final (const AutomataBase< S > &, const T &, hstate_t state)
template<class S, class T>
void	vcsn::op_clear_initial (const AutomataBase< S > &, T &)
template<class S, class T>
void	vcsn::op_clear_final (const AutomataBase< S > &, T &)
template<class S, class T>
hstate_t	vcsn::op_add_state (const AutomataBase< S > &, T &)
template<class S, class T>
htransition_t	vcsn::op_add_transition (const AutomataBase< S > &, T &, hstate_t from, hstate_t to, const typename Element< S, T >::label_t &label)
template<class S, class T>
htransition_t	vcsn::op_add_weighted_transition (const AutomataBase< S > &, T &, hstate_t from, hstate_t to, const typename Element< S, T >::semiring_elt_t &w, const typename Element< S, T >::monoid_elt_value_t &m)
template<class S, class T>
htransition_t	vcsn::op_add_series_transition (const AutomataBase< S > &, T &, hstate_t from, hstate_t to, const typename Element< S, T >::series_set_elt_t &)
template<class S, class T>
htransition_t	vcsn::op_add_spontaneous (const AutomataBase< S > &, T &, hstate_t from, hstate_t to, const typename Element< S, T >::semiring_elt_t &)
template<class S, class T>
htransition_t	vcsn::op_add_letter_transition (const AutomataBase< S > &, T &, hstate_t from, hstate_t to, const typename Element< S, T >::letter_t &)
template<class S, class T>
void	vcsn::op_update (const AutomataBase< S > &, T &, htransition_t, const typename Element< S, T >::label_t &l)
template<class S, class T>
void	vcsn::op_del_state (const AutomataBase< S > &, T &, hstate_t)
template<class S, class T>
void	vcsn::op_del_transition (const AutomataBase< S > &, T &, htransition_t)
template<class S, class T>
bool	vcsn::op_has_state (const AutomataBase< S > &, const T &, hstate_t)
template<class S, class T>
bool	vcsn::op_has_transition (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
hstate_t	vcsn::op_src_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
hstate_t	vcsn::op_dst_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
Element< S, T >::label_t	vcsn::op_label_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
const Element< S, T >::series_set_elt_t	vcsn::op_series_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
Element< S, T >::series_set_elt_value_t	vcsn::op_series_value_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
Element< S, T >::monoid_elt_t	vcsn::op_word_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
Element< S, T >::semiring_elt_t	vcsn::op_weight_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
Element< S, T >::monoid_elt_value_t	vcsn::op_word_value_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
Element< S, T >::letter_t	vcsn::op_letter_of (const AutomataBase< S > &, const T &, htransition_t)
template<class S, class T>
bool	vcsn::op_is_spontaneous (const AutomataBase< S > &, const T &, htransition_t)
Functions
template<class S, class T, typename OutputIterator>
void	vcsn::op_delta (const AutomataBase< S > &, const T &, OutputIterator res, hstate_t from, delta_kind::transitions k)
	store the output transitions 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::transitions 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::transitions 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::transitions 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::transitions k)
	Store the output transitions 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::transitions 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::transitions 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::transitions 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::transitions k)
	Store the output transitions 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::transitions 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::transitions 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::transitions 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::transitions k)
	store the output transitions 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::transitions 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::transitions 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::transitions 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::transitions  k )

Delta using a query, with iterator output. Store the output transitions of the state 'from' where query(label(e)) is true using 'res'. Definition at line 452 of file automata_ops.hxx.

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

Delta on a letter, with iterator output. Store the output transitions of the state 'from' where the label matches the letter. Definition at line 463 of file automata_ops.hxx. References vcsn::make_letter_query(), vcsn::op_delta(), and Structure< Self >::self(). Referenced by vcsn::op_letter_delta(), vcsn::op_letter_deltac(), and vcsn::op_letter_rdelta().

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

Delta using a query, with container output. Store the output transitions of the state 'from' where query(label(e)) is true in the container 'res'. Definition at line 498 of file automata_ops.hxx. References vcsn::op_delta().

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

Delta on a letter, with container output. Store the output transitions of the state 'from' where query(label(e)) is true in the container 'res'. Definition at line 512 of file automata_ops.hxx. References vcsn::op_letter_delta(). Referenced by vcsn::op_letter_deltac(), and vcsn::op_letter_rdeltac().

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'. Definition at line 551 of file automata_ops.hxx.

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. Definition at line 562 of file automata_ops.hxx. References vcsn::make_letter_query(), vcsn::op_delta(), and Structure< Self >::self().

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'. Definition at line 596 of file automata_ops.hxx. References vcsn::op_delta().

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'. Definition at line 610 of file automata_ops.hxx. References vcsn::op_letter_delta(), and Structure< Self >::self().

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

Reverse delta using a query, with iterator output. Store the output transitions of the state 'from' where query(label(e)) is true using 'res'. Definition at line 649 of file automata_ops.hxx.

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

Reverse delta on a letter, with iterator output. Store the output transitions of the state 'from' where the label matches the letter. Definition at line 660 of file automata_ops.hxx. References vcsn::make_letter_query(), vcsn::op_rdelta(), and Structure< Self >::self(). Referenced by vcsn::op_letter_delta(), vcsn::op_letter_rdelta(), and vcsn::op_letter_rdeltac().

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

Reverse delta using a query, with container output. Store the output transitions of the state 'from' where query(label(e)) is true in the container 'res'. Definition at line 694 of file automata_ops.hxx. References vcsn::op_rdelta().

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

Reverse delta on a letter, with container output. Store the output transitions of the state 'from' where query(label(e)) is true in the container 'res'. Definition at line 708 of file automata_ops.hxx. References vcsn::op_letter_rdelta(). Referenced by vcsn::op_letter_deltac(), and vcsn::op_letter_rdeltac().

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'. Definition at line 746 of file automata_ops.hxx. References vcsn::op_rdelta(), and Structure< Self >::self().

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. Definition at line 766 of file automata_ops.hxx. References vcsn::make_letter_query(), vcsn::op_rdelta(), and Structure< Self >::self().

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'. Definition at line 800 of file automata_ops.hxx. References vcsn::op_rdelta().

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'. Definition at line 814 of file automata_ops.hxx. References vcsn::op_letter_rdelta().

---