Public Types | |
| typedef Tm | monoid_elt_value_t |
| typedef Tw | semiring_elt_value_t |
|
typedef std::map< Tm, Tw >::const_iterator | const_iterator |
|
typedef std::map< Tm, Tw >::iterator | iterator |
Public Member Functions | |
| template<typename M, typename W> | |
| polynom (SELECTOR(M), SELECTOR(W)) | |
| polynom (const polynom &other) | |
| polynom () | |
| size_t | size () const |
| bool | empty () const |
| iterator | begin () |
| const_iterator | begin () const |
| iterator | end () |
| const_iterator | end () const |
| iterator | find (const Tm &m) |
| const_iterator | find (const Tm &m) const |
| template<typename W> | |
| Tw & | make_get (SELECTOR(W), const Tm &m) |
| template<typename W> | |
| Tw | get (SELECTOR(W), const Tm &m) const |
| void | insert (const Tm &m, const Tw &w) |
| template<typename W> | |
| void | add (const W &semiring, const Tm &m, const Tw &w) |
| void | erase (iterator i) |
| void | clear () |
| void | swap (polynom< Tm, Tw > &other) |
| const std::map< Tm, Tw > & | as_map () const |
| const Tw & | operator[] (const Tm &m) const |
| Tw & | operator[] (const Tm &m) |
Protected Attributes | |
| std::map< Tm, Tw > | map_ |
Definition at line 37 of file polynoms.hh.
1.4.6