Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
vcsn::rat::ratexpset_impl< Context > Member List

This is the complete list of members for vcsn::rat::ratexpset_impl< Context >, including all inherited members.

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_tvcsn::rat::ratexpset_impl< Context >inlinestatic
atom_t typedefvcsn::rat::ratexpset_impl< Context >
complement(value_t e) const vcsn::rat::ratexpset_impl< Context >inline
complement_t typedefvcsn::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 typedefvcsn::rat::ratexpset_impl< Context >
const_visitor typedefvcsn::rat::ratexpset_impl< Context >
context() const vcsn::rat::ratexpset_impl< Context >inline
context_t typedefvcsn::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_tvcsn::rat::ratexpset_impl< Context >inline
conv(const ratexpset_impl< Ctx2 > &rs, typename ratexpset_impl< Ctx2 >::value_t r) const -> value_tvcsn::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 -> voidvcsn::rat::ratexpset_impl< Context >inline
gather_(value_t l, value_t r) const -> values_tvcsn::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 typedefvcsn::rat::ratexpset_impl< Context >
inner_t typedefvcsn::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_PUREvcsn::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_PUREvcsn::rat::ratexpset_impl< Context >inline
kind_t typedefvcsn::rat::ratexpset_impl< Context >
label_t typedefvcsn::rat::ratexpset_impl< Context >
labelset() const vcsn::rat::ratexpset_impl< Context >inline
labelset_ptr typedefvcsn::rat::ratexpset_impl< Context >
labelset_t typedefvcsn::rat::ratexpset_impl< Context >
ldiv(value_t l, value_t r) const vcsn::rat::ratexpset_impl< Context >inline
ldiv_t typedefvcsn::rat::ratexpset_impl< Context >
leaf_t typedefvcsn::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_tvcsn::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_tvcsn::rat::ratexpset_impl< Context >inline
letter_class_(const Args &&..., std::true_type) const -> value_tvcsn::rat::ratexpset_impl< Context >inline
letter_t typedefvcsn::rat::ratexpset_impl< Context >
lmul(const weight_t &w, value_t e) const vcsn::rat::ratexpset_impl< Context >inline
lweight_t typedefvcsn::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 typedefvcsn::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 typedefvcsn::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 typedefvcsn::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 typedefvcsn::rat::ratexpset_impl< Context >
self_type typedefvcsn::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 typedefvcsn::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 typedefvcsn::rat::ratexpset_impl< Context >
sum_t typedefvcsn::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 typedefvcsn::rat::ratexpset_impl< Context >
type_ignoring_lweight_(value_t e) const vcsn::rat::ratexpset_impl< Context >inlineprivate
type_t typedefvcsn::rat::ratexpset_impl< Context >
unary_t typedefvcsn::rat::ratexpset_impl< Context >
unwrap_possible_lweight_(value_t e) const vcsn::rat::ratexpset_impl< Context >inlineprivate
value_t typedefvcsn::rat::ratexpset_impl< Context >
values_t typedefvcsn::rat::ratexpset_impl< Context >
variadic_t typedefvcsn::rat::ratexpset_impl< Context >
vname(bool full=true) const vcsn::rat::ratexpset_impl< Context >inline
weight_t typedefvcsn::rat::ratexpset_impl< Context >
weightset() const vcsn::rat::ratexpset_impl< Context >inline
weightset_ptr typedefvcsn::rat::ratexpset_impl< Context >
weightset_t typedefvcsn::rat::ratexpset_impl< Context >
word(label_t l) const vcsn::rat::ratexpset_impl< Context >inline
word_t typedefvcsn::rat::ratexpset_impl< Context >
zero() const vcsn::rat::ratexpset_impl< Context >inline
zero_t typedefvcsn::rat::ratexpset_impl< Context >