add_transition(const hstate_t current_state, const hstate_t from, const hstate_t to, typename res_t::series_set_elt_t &prod_series) | composer | [inline] |
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) | composer | [inline] |
delta_ret_t typedef | composer | |
lhs | composer | |
lhs_black_states | composer | |
lhs_first_identity | composer | |
lhs_first_monoid_elt_t typedef | composer | |
lhs_first_monoid_elt_value_t typedef | composer | |
lhs_first_monoid_t typedef | composer | |
lhs_monoid | composer | |
lhs_second_identity | composer | |
lhs_second_monoid_elt_t typedef | composer | |
lhs_second_monoid_elt_value_t typedef | composer | |
lhs_second_monoid_t typedef | composer | |
lhs_series | composer | |
lhs_support_t typedef | composer | |
m | composer | |
map_of_states_t typedef | composer | |
monoid | composer | |
operator()() | composer | [inline] |
output | composer | |
pair_hstate_t typedef | composer | |
process_one_pair(const hstate_t current_state, const hstate_t lhs_s, const hstate_t rhs_s) | composer | [inline] |
rhs | composer | |
rhs_black_states | composer | |
rhs_first_identity | composer | |
rhs_first_monoid_elt_t typedef | composer | |
rhs_first_monoid_elt_value_t typedef | composer | |
rhs_first_monoid_t typedef | composer | |
rhs_monoid | composer | |
rhs_second_identity | composer | |
rhs_second_monoid_elt_t typedef | composer | |
rhs_second_monoid_elt_value_t typedef | composer | |
rhs_second_monoid_t typedef | composer | |
rhs_series | composer | |
rhs_support_t typedef | composer | |
series | composer | |
series_product(typename monoid_elt_value_t::first_type l1, typename monoid_elt_value_t::second_type l2, semiring_elt_t w) | composer | [inline] |
state_series(lhs_series_set_elt_t l, rhs_series_set_elt_t r) | composer | [inline] |
support_t typedef | composer | |
to_process | composer | |
to_process_t typedef | composer | |
visited | composer | |
visited_t typedef | composer | |