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_tto_process_t
 Queue of pair of states.
typedef std::set< htransition_tdelta_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.


Generated on Sun Jul 29 19:48:44 2007 for Vaucanson by  doxygen 1.5.2