composer Struct Template Reference

List of all members.

Public Types
typedef std::pair< hstate_t, hstate_t >	pair_hstate_t
	Pair of states.
typedef std::map< pair_hstate_t, hstate_t >	visited_t
	Map from pair of states to state.
typedef std::map< hstate_t, pair_hstate_t >	map_of_states_t
	Map from state to pair of states.
typedef std::queue< pair_hstate_t >	to_process_t
	Queue of pair of states.
typedef std::set< htransition_t >	delta_ret_t
typedef series_set_elt_t::support_t	support_t
typedef lhs_series_set_elt_t::support_t	lhs_support_t
typedef rhs_series_set_elt_t::support_t	rhs_support_t
typedef lhs_monoid_t::first_monoid_t	lhs_first_monoid_t
typedef lhs_monoid_elt_value_t::first_type	lhs_first_monoid_elt_value_t
typedef Element< lhs_first_monoid_t, lhs_first_monoid_elt_value_t >	lhs_first_monoid_elt_t
typedef rhs_monoid_t::first_monoid_t	rhs_first_monoid_t
typedef rhs_monoid_elt_value_t::first_type	rhs_first_monoid_elt_value_t
typedef Element< rhs_first_monoid_t, rhs_first_monoid_elt_value_t >	rhs_first_monoid_elt_t
typedef lhs_monoid_t::second_monoid_t	lhs_second_monoid_t
typedef lhs_monoid_elt_value_t::second_type	lhs_second_monoid_elt_value_t
typedef Element< lhs_second_monoid_t, lhs_second_monoid_elt_value_t >	lhs_second_monoid_elt_t
typedef rhs_monoid_t::second_monoid_t	rhs_second_monoid_t
typedef rhs_monoid_elt_value_t::second_type	rhs_second_monoid_elt_value_t
typedef Element< rhs_second_monoid_t, rhs_second_monoid_elt_value_t >	rhs_second_monoid_elt_t
Public Member Functions
	composer (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const lhs_t &aLhs, const rhs_t &aRhs, res_t &aOutput, std::set< hstate_t > &aLhs_states, std::set< hstate_t > &aRhs_states)
void	add_transition (const hstate_t current_state, const hstate_t from, const hstate_t to, typename res_t::series_set_elt_t &prod_series)
res_t::series_set_elt_t	series_product (typename monoid_elt_value_t::first_type l1, typename monoid_elt_value_t::second_type l2, semiring_elt_t w)
res_t::series_set_elt_t	state_series (lhs_series_set_elt_t l, rhs_series_set_elt_t r)
void	process_one_pair (const hstate_t current_state, const hstate_t lhs_s, const hstate_t rhs_s)
void	operator() ()
Public Attributes
visited_t	visited
to_process_t	to_process
map_of_states_t	m
const lhs_t &	lhs
const rhs_t &	rhs
res_t &	output
std::set< hstate_t > &	lhs_black_states
std::set< hstate_t > &	rhs_black_states
const series_set_t &	series
const monoid_t &	monoid
const lhs_series_set_t &	lhs_series
const lhs_monoid_t &	lhs_monoid
const rhs_series_set_t &	rhs_series
const rhs_monoid_t &	rhs_monoid
lhs_first_monoid_elt_t	lhs_first_identity
rhs_first_monoid_elt_t	rhs_first_identity
lhs_second_monoid_elt_t	lhs_second_identity
rhs_second_monoid_elt_t	rhs_second_identity

---

Detailed Description

template<typename S, typename M1, typename M2, typename lhs_t, typename rhs_t, typename res_t>
struct vcsn::composer< S, M1, M2, lhs_t, rhs_t, res_t >

Definition at line 46 of file normalized_composition.hxx.

---