| 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 -> enable_if_t<!(WetType==wet_kind_t::bitset &&std::is_same< weightset_t, b >::value), value_t & > | vcsn::detail::polynomialset_impl< Context, Kind > | inline | 
  | add_here_impl(value_t &l, const value_t &r) const -> enable_if_t< WetType==wet_kind_t::bitset &&std::is_same< weightset_t, b >::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 | 
  | conjunction(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) -> 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) -> 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 | 
  | 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) -> enable_if_t< WetType!=wet_kind_t::bitset, size_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic | 
  | hash_impl(const value_t &p) -> enable_if_t< WetType==wet_kind_t::bitset, size_t > | vcsn::detail::polynomialset_impl< Context, Kind > | inlinestatic | 
  | infiltration(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 | 
  | ldiv(const monomial_t &l, const monomial_t &r) const  | vcsn::detail::polynomialset_impl< Context, Kind > | inline | 
  | ldiv(const monomial_t &l, const value_t &r) const  | vcsn::detail::polynomialset_impl< Context, Kind > | inline | 
  | ldiv(const value_t &l, const value_t &r) const  | vcsn::detail::polynomialset_impl< Context, Kind > | inline | 
  | ldiv_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) -> 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) -> 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(const weight_t w, const value_t &v) 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 | 
  | 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 -> 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 -> 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(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 | 
  | rangle | vcsn::detail::polynomialset_impl< Context, Kind > | privatestatic | 
  | rdiv(const value_t &l, const value_t &r) const  | vcsn::detail::polynomialset_impl< Context, Kind > | inline | 
  | rdiv_here(value_t &v, const weight_t w) const  | vcsn::detail::polynomialset_impl< Context, Kind > | inline | 
  | rmul(const value_t &v, const weight_t w) const  | vcsn::detail::polynomialset_impl< Context, Kind > | inline | 
  | rmul_label(const value_t &v, const label_t &rhs) const  | vcsn::detail::polynomialset_impl< Context, Kind > | inline | 
  | scalar_product(const value_t &l, const value_t &r) const  | 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 > |  | 
  | 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 |