| 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 | |