add(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inline |
add_nonzero_series_(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
atom(const label_t &v) -> value_t | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
atom_t typedef | vcsn::rat::ratexpset_impl< Context > | |
complement(value_t e) const | vcsn::rat::ratexpset_impl< Context > | inline |
complement_t typedef | vcsn::rat::ratexpset_impl< Context > | |
concat(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inline |
concat_(value_t l, value_t r, std::true_type) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
concat_(value_t l, value_t r, std::false_type) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
conjunction(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inline |
conjunction_t typedef | vcsn::rat::ratexpset_impl< Context > | |
const_visitor typedef | vcsn::rat::ratexpset_impl< Context > | |
context() const | vcsn::rat::ratexpset_impl< Context > | inline |
context_t typedef | vcsn::rat::ratexpset_impl< Context > | |
conv(const letterset< GenSet > &ls, typename letterset< GenSet >::value_t v) const | vcsn::rat::ratexpset_impl< Context > | |
conv(b, typename b::value_t v) const | vcsn::rat::ratexpset_impl< Context > | inline |
conv(const z &ws, typename z::value_t v) const | vcsn::rat::ratexpset_impl< Context > | inline |
conv(const q &ws, typename q::value_t v) const | vcsn::rat::ratexpset_impl< Context > | inline |
conv(const r &ws, typename r::value_t v) const | vcsn::rat::ratexpset_impl< Context > | inline |
conv(const zmin &ws, typename zmin::value_t v) const | vcsn::rat::ratexpset_impl< Context > | inline |
conv(const ratexpset_impl< Ctx2 > &ws, typename ratexpset_impl< Ctx2 >::value_t v) const | vcsn::rat::ratexpset_impl< Context > | |
conv(std::istream &is) const | vcsn::rat::ratexpset_impl< Context > | inline |
conv(self_type, value_t v) const | vcsn::rat::ratexpset_impl< Context > | inline |
conv(const letterset< GenSet > &ls, typename letterset< GenSet >::value_t v) const -> value_t | vcsn::rat::ratexpset_impl< Context > | inline |
conv(const ratexpset_impl< Ctx2 > &rs, typename ratexpset_impl< Ctx2 >::value_t r) const -> value_t | vcsn::rat::ratexpset_impl< Context > | inline |
convs(std::istream &) const | vcsn::rat::ratexpset_impl< Context > | inline |
ctx_ | vcsn::rat::ratexpset_impl< Context > | private |
equals(value_t l, value_t r) | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
gather_(values_t &res, value_t v) const | vcsn::rat::ratexpset_impl< Context > | private |
gather_(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | private |
gather_(values_t &res, value_t v) const -> void | vcsn::rat::ratexpset_impl< Context > | inline |
gather_(value_t l, value_t r) const -> values_t | vcsn::rat::ratexpset_impl< Context > | inline |
has_one() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
hash(const value_t &l) | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
identities() const | vcsn::rat::ratexpset_impl< Context > | inline |
identities_ | vcsn::rat::ratexpset_impl< Context > | private |
identities_t typedef | vcsn::rat::ratexpset_impl< Context > | |
inner_t typedef | vcsn::rat::ratexpset_impl< Context > | |
insert_in_sum_series_(const sum_t &addends, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
is_commutative() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
is_free() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
is_idempotent() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
is_letter(value_t) const | vcsn::rat::ratexpset_impl< Context > | inline |
is_nonsum_(value_t v) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
is_one(value_t v) ATTRIBUTE_PURE | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
is_ratexpset() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
is_series() const | vcsn::rat::ratexpset_impl< Context > | inline |
is_special(value_t v) | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
is_unweighted_nonsum_(value_t v) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
is_zero(value_t v) const ATTRIBUTE_PURE | vcsn::rat::ratexpset_impl< Context > | inline |
kind_t typedef | vcsn::rat::ratexpset_impl< Context > | |
label_t typedef | vcsn::rat::ratexpset_impl< Context > | |
labelset() const | vcsn::rat::ratexpset_impl< Context > | inline |
labelset_ptr typedef | vcsn::rat::ratexpset_impl< Context > | |
labelset_t typedef | vcsn::rat::ratexpset_impl< Context > | |
ldiv(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inline |
ldiv_t typedef | vcsn::rat::ratexpset_impl< Context > | |
leaf_t typedef | vcsn::rat::ratexpset_impl< Context > | |
less_than(value_t l, value_t r) | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
less_than_ignoring_weight_(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
letter_class(Args &&...chars) const | vcsn::rat::ratexpset_impl< Context > | |
letter_class(Args &&...args) const -> value_t | vcsn::rat::ratexpset_impl< Context > | inline |
letter_class_(const Args &&...chars, std::true_type) const | vcsn::rat::ratexpset_impl< Context > | private |
letter_class_(std::set< std::pair< typename LabelSet_::letter_t, typename LabelSet_::letter_t >> chars, bool accept, std::false_type) const | vcsn::rat::ratexpset_impl< Context > | private |
letter_class_(std::set< std::pair< typename LabelSet_::letter_t, typename LabelSet_::letter_t >> ccs, bool accept, std::false_type) const -> value_t | vcsn::rat::ratexpset_impl< Context > | inline |
letter_class_(const Args &&..., std::true_type) const -> value_t | vcsn::rat::ratexpset_impl< Context > | inline |
letter_t typedef | vcsn::rat::ratexpset_impl< Context > | |
lmul(const weight_t &w, value_t e) const | vcsn::rat::ratexpset_impl< Context > | inline |
lweight_t typedef | vcsn::rat::ratexpset_impl< Context > | |
make(std::istream &is) | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
merge_sum_series_(const sum_t &addends1, value_t aa2) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
mul(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inline |
mul_(value_t l, value_t r, bool series) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
mul_atoms_(const label_t &l, const label_t &r) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
mul_atoms_(const label_t &l, const label_t &r, std::true_type) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
mul_atoms_(const label_t &l, const label_t &r, std::false_type) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
mul_expressions_(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
mul_products_(value_t a, value_t b) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
mul_series_(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
mul_unweighted_nontrivial_products_(value_t a, value_t b) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
node_t typedef | vcsn::rat::ratexpset_impl< Context > | |
nontrivial_mul_expressions_(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
nontrivial_mul_series_(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
one() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
one_t typedef | vcsn::rat::ratexpset_impl< Context > | |
open(bool o) const | vcsn::rat::ratexpset_impl< Context > | inline |
possibly_implicit_lweight_(value_t e) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
print(const value_t v, std::ostream &o, symbol format=symbol{"text"}) const | vcsn::rat::ratexpset_impl< Context > | inline |
print_set(std::ostream &o, symbol format=symbol{"text"}) const | vcsn::rat::ratexpset_impl< Context > | inline |
prod_t typedef | vcsn::rat::ratexpset_impl< Context > | |
ratexpset_impl(const context_t &ctx, identities_t identities) | vcsn::rat::ratexpset_impl< Context > | |
rdiv(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inline |
remove_from_sum_series_(values_t addends, typename values_t::iterator i) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
require_weightset_commutativity() const | vcsn::rat::ratexpset_impl< Context > | private |
rmul(value_t e, const weight_t &w) const | vcsn::rat::ratexpset_impl< Context > | inline |
rweight_t typedef | vcsn::rat::ratexpset_impl< Context > | |
self_type typedef | vcsn::rat::ratexpset_impl< Context > | |
show_one() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
shuffle(value_t l, value_t r) const | vcsn::rat::ratexpset_impl< Context > | inline |
shuffle_t typedef | vcsn::rat::ratexpset_impl< Context > | |
sname() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
special() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
star(value_t e) const | vcsn::rat::ratexpset_impl< Context > | inline |
star_status() | vcsn::rat::ratexpset_impl< Context > | inlinestatic |
star_t typedef | vcsn::rat::ratexpset_impl< Context > | |
sum_t typedef | vcsn::rat::ratexpset_impl< Context > | |
transpose(value_t e) const | vcsn::rat::ratexpset_impl< Context > | inline |
transposition(value_t e) const | vcsn::rat::ratexpset_impl< Context > | inline |
transposition_t typedef | vcsn::rat::ratexpset_impl< Context > | |
type_ignoring_lweight_(value_t e) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
type_t typedef | vcsn::rat::ratexpset_impl< Context > | |
unary_t typedef | vcsn::rat::ratexpset_impl< Context > | |
unwrap_possible_lweight_(value_t e) const | vcsn::rat::ratexpset_impl< Context > | inlineprivate |
value_t typedef | vcsn::rat::ratexpset_impl< Context > | |
values_t typedef | vcsn::rat::ratexpset_impl< Context > | |
variadic_t typedef | vcsn::rat::ratexpset_impl< Context > | |
vname(bool full=true) const | vcsn::rat::ratexpset_impl< Context > | inline |
weight_t typedef | vcsn::rat::ratexpset_impl< Context > | |
weightset() const | vcsn::rat::ratexpset_impl< Context > | inline |
weightset_ptr typedef | vcsn::rat::ratexpset_impl< Context > | |
weightset_t typedef | vcsn::rat::ratexpset_impl< Context > | |
word(label_t l) const | vcsn::rat::ratexpset_impl< Context > | inline |
word_t typedef | vcsn::rat::ratexpset_impl< Context > | |
zero() const | vcsn::rat::ratexpset_impl< Context > | inline |
zero_t typedef | vcsn::rat::ratexpset_impl< Context > | |