Vcsn  2.2a
Be Rational
vcsn::detail::left_reductioner< Aut > Member List

This is the complete list of members for vcsn::detail::left_reductioner< Aut >, including all inherited members.

automaton_t typedefvcsn::detail::left_reductioner< Aut >private
bottom_up_reduction(std::vector< vector_t > &basis, unsigned *permutation)vcsn::detail::left_reductioner< Aut >inline
context_t typedefvcsn::detail::left_reductioner< Aut >private
dimensionvcsn::detail::left_reductioner< Aut >private
finalvcsn::detail::left_reductioner< Aut >private
find_pivot(const vector_t &v, unsigned begin, unsigned *permutation)vcsn::detail::left_reductioner< Aut >inline
find_pivot_by_norm(const vector_t &v, unsigned begin, unsigned *permutation)vcsn::detail::left_reductioner< Aut >inline
gcd(z_weight_t x, z_weight_t y, z_weight_t &a, z_weight_t &b)vcsn::detail::left_reductioner< Aut >inlinestatic
initvcsn::detail::left_reductioner< Aut >private
input_vcsn::detail::left_reductioner< Aut >private
label_t typedefvcsn::detail::left_reductioner< Aut >private
left_reductioner(const automaton_t &input)vcsn::detail::left_reductioner< Aut >inline
letter_matrix_setvcsn::detail::left_reductioner< Aut >private
linear_representation()vcsn::detail::left_reductioner< Aut >inline
matrix_set_t typedefvcsn::detail::left_reductioner< Aut >private
matrix_t typedefvcsn::detail::left_reductioner< Aut >private
norm(const q_weight_t &w)vcsn::detail::left_reductioner< Aut >inlinestatic
norm(const r_weight_t &w)vcsn::detail::left_reductioner< Aut >inlinestatic
norm(const z_weight_t &w)vcsn::detail::left_reductioner< Aut >inlinestatic
normalisation_vector(vector_t &v, unsigned pivot, unsigned *permutation)vcsn::detail::left_reductioner< Aut >inline
operator()()vcsn::detail::left_reductioner< Aut >inline
output_automaton_t typedefvcsn::detail::left_reductioner< Aut >private
output_state_t typedefvcsn::detail::left_reductioner< Aut >private
product_vector_matrix(const vector_t &v, const matrix_t &m, vector_t &res)vcsn::detail::left_reductioner< Aut >inline
q_weight_t typedefvcsn::detail::left_reductioner< Aut >
r_weight_t typedefvcsn::detail::left_reductioner< Aut >
reduce_vector(vector_t &vbasis, vector_t &current, unsigned b, unsigned *permutation)vcsn::detail::left_reductioner< Aut >inline
res_vcsn::detail::left_reductioner< Aut >private
scalar_product(const vector_t &v, const vector_t &w)vcsn::detail::left_reductioner< Aut >inline
state_t typedefvcsn::detail::left_reductioner< Aut >private
vector_in_new_basis(std::vector< vector_t > &basis, vector_t &current, vector_t &new_vector, unsigned *permutation)vcsn::detail::left_reductioner< Aut >inline
vector_t typedefvcsn::detail::left_reductioner< Aut >private
weight_t typedefvcsn::detail::left_reductioner< Aut >private
weightset_t typedefvcsn::detail::left_reductioner< Aut >private
ws_vcsn::detail::left_reductioner< Aut >private
z_reduce_vector(vector_t &vbasis, vector_t &current, unsigned nb, unsigned *permutation)vcsn::detail::left_reductioner< Aut >inline
z_vector_in_new_basis(std::vector< vector_t > &basis, vector_t &current, vector_t &new_vector, unsigned *permutation)vcsn::detail::left_reductioner< Aut >inline
z_weight_t typedefvcsn::detail::left_reductioner< Aut >