abs(const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
add(const value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
add_here(value_t &v, const label_t &l, const weight_t k) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
add_here(value_t &v, const monomial_t &m) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
add_here(value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
add_here_impl(value_t &l, const value_t &r) const -> std::enable_if_t< WetType!=wet_kind_t::bitset, value_t & > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
add_here_impl(value_t &l, const value_t &r) const -> std::enable_if_t<(WetType==wet_kind_t::bitset &&std::is_same< WS, b >::value), value_t & > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
add_here_impl(value_t &l, const value_t &r) const -> std::enable_if_t<(WetType==wet_kind_t::bitset &&std::is_same< WS, f2 >::value), value_t & > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
clear(value_t &v) | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
complement(const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
compose(const value_t &l, const value_t &r) const -> std::enable_if_t< are_composable< Ctx, Ctx > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
compose(const value_t &l, const value_t &r) const -> std::enable_if_t< has_compose_fn< Ctx > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
compose_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
conjunction(const value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
conjunction_impl(const value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
conjunction_impl(const value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
context() const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
context_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
conv(self_t, const value_t &v) | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
conv(const WS &ws, const typename WS::value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
conv(const polynomialset< C, K > &sps, const typename polynomialset< C, K >::value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
conv(std::istream &i, const char sep= '+') const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
conv_label(std::istream &i, bool weighted, const char sep= '+') const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
conv_monomial(std::istream &i, const char sep= '+') const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
conv_weight(std::istream &i) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
ctx_ | vcsn::detail::polynomialset_impl< Context, Kind > | private |
del_weight(value_t &v, const label_t &l) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
determinize(value_t v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
equal(const value_t &l, const value_t &r) | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
equal_impl(const value_t &l, const value_t &r) -> std::enable_if_t< WetType!=wet_kind_t::bitset, bool > | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
equal_impl(const value_t &l, const value_t &r) -> std::enable_if_t< WetType==wet_kind_t::bitset, bool > | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
get_weight(const value_t &v, const label_t &l) const ATTRIBUTE_PURE | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
has_compose_fn typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
has_lightening_weights() | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
has_rweight_fn typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
hash(const monomial_t &m, size_t res=0) | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
hash(const value_t &v) | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
hash_impl(const value_t &p) -> std::enable_if_t< WetType!=wet_kind_t::bitset, size_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
hash_impl(const value_t &p) -> std::enable_if_t< WetType==wet_kind_t::bitset, size_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
infiltrate(const value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
is_commutative() | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
is_one(const value_t &v) ATTRIBUTE_PURE | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
is_zero(const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
label_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
labelset() const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
labelset_ptr typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
labelset_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
langle | vcsn::detail::polynomialset_impl< Context, Kind > | privatestatic |
ldivide(const monomial_t &l, const monomial_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
ldivide(const monomial_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
ldivide(const value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
ldivide_here(const weight_t w, value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
less(const value_t &l, const value_t &r) | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
less_impl(const value_t &l, const value_t &r) -> std::enable_if_t< WetType!=wet_kind_t::bitset, bool > | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
less_impl(const value_t &l, const value_t &r) -> std::enable_if_t< WetType==wet_kind_t::bitset, bool > | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
lgcd(const value_t &lhs, const value_t &rhs) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
lmul_label(const label_t &lhs, const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
lweight(const weight_t w, const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
make(std::istream &is) | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
monomial_equal(const monomial_t &lhs, const monomial_t &rhs) | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
monomial_less(const monomial_t &lhs, const monomial_t &rhs) | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
monomial_one() | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
monomial_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
mul(const monomial_t &l, const monomial_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
mul(const value_t &l, const value_t &r) const -> value_t | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
mul(const value_t &p, const label_t &l, const weight_t w) const -> value_t | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
mul(const monomial_t &lhs, const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
mul(const value_t &l, const monomial_t &rhs) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
mul_impl(const value_t &l, const value_t &r) const -> std::enable_if_t< WetType!=wet_kind_t::bitset, value_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
mul_impl(const value_t &l, const value_t &r) const -> std::enable_if_t< WetType==wet_kind_t::bitset, value_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
new_weight(value_t &v, const label_t &l, const weight_t w) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
norm(const value_t &v) const -> weight_t | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
normalize(value_t res) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
normalize_here(value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
one() | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
polynomialset_impl()=delete | vcsn::detail::polynomialset_impl< Context, Kind > | |
polynomialset_impl(const polynomialset_impl &)=default | vcsn::detail::polynomialset_impl< Context, Kind > | |
polynomialset_impl(polynomialset_impl &&)=default | vcsn::detail::polynomialset_impl< Context, Kind > | |
polynomialset_impl(const context_t &ctx) | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
print(const monomial_t &m, std::ostream &out, format fmt={}) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
print(const value_t &v, std::ostream &out, format fmt={}, const std::string &sep=" + ") const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
print_(const value_t &v, std::ostream &out, format fmt={}, const std::string &sep=" + ") const | vcsn::detail::polynomialset_impl< Context, Kind > | inlineprivate |
print_(const value_t &v, std::ostream &out, format fmt={}, const std::string &sep=" + ") const | vcsn::detail::polynomialset_impl< Context, Kind > | inlineprivate |
print_set(std::ostream &o, format fmt={}) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
print_weight_(const weight_t w, std::ostream &out, format fmt) const | vcsn::detail::polynomialset_impl< Context, Kind > | inlineprivate |
print_with_classes_(const value_t &v, std::ostream &out, format fmt, const std::string &sep) const | vcsn::detail::polynomialset_impl< Context, Kind > | inlineprivate |
print_without_classes_(const value_t &v, std::ostream &out, format fmt, const std::string &sep) const | vcsn::detail::polynomialset_impl< Context, Kind > | inlineprivate |
project() const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
project(const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
rangle | vcsn::detail::polynomialset_impl< Context, Kind > | privatestatic |
rdivide(const value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
rdivide_here(value_t &v, const weight_t w) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
res | vcsn::detail::polynomialset_impl< Context, Kind > | |
rmul_label(const value_t &v, const label_t &rhs) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
rweight(const value_t &v, const weight_t w) const -> value_t | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
rweight_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
scalar_product(const value_t &l, const value_t &r) const -> std::enable_if_t< WetType!=wet_kind_t::bitset, weight_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
scalar_product(const value_t &l, const value_t &r) const -> std::enable_if_t<(WetType==wet_kind_t::bitset &&std::is_same< WS, b >::value), weight_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
scalar_product(const value_t &l, const value_t &r) const -> std::enable_if_t<(WetType==wet_kind_t::bitset &&std::is_same< WS, f2 >::value), weight_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
self() const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
self_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
set_weight(value_t &v, const label_t &l, const weight_t w) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
show_one() | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
sname() | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
star(const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
star_status() | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic |
sub(const value_t &l, const value_t &r) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
sub_here(value_t &v, const monomial_t &m) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
to_label(const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
transpose(const value_t &v) const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
tuple(Polys &&...vs) const -> value_t | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
value_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
value_t | vcsn::detail::polynomialset_impl< Context, Kind > | |
weight_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
weightset() const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |
weightset_ptr typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
weightset_t typedef | vcsn::detail::polynomialset_impl< Context, Kind > | |
zero() const | vcsn::detail::polynomialset_impl< Context, Kind > | inline |