enc typedef | mln::value::label< n > | |
label() | mln::value::label< n > | [inline] |
label(unsigned i) | mln::value::label< n > | [inline] |
label(const literal::zero_t &v) | mln::value::label< n > | [inline] |
next() const | mln::value::label< n > | [inline] |
operator unsigned() const | mln::value::label< n > | [inline] |
operator++() | mln::value::label< n > | [inline] |
operator--() | mln::value::label< n > | [inline] |
operator=(unsigned i) | mln::value::label< n > | [inline] |
operator=(const literal::zero_t &v) | mln::value::label< n > | [inline] |
prev() const | mln::value::label< n > | [inline] |