#include <label.hh>
Inherits mln::value::Symbolic< mln::value::label< n > >, and mln::value::internal::value_like_< unsigned, mln::value::internal::encoding_unsigned_< n >::ret, int, mln::value::label< n > >.
Public Types | |
| typedef internal::encoding_unsigned_ < n >::ret | enc |
| Encoding associated type. | |
Public Member Functions | |
| label (const literal::zero_t &v) | |
| Constructor from literal::zero. | |
| label (unsigned i) | |
| Constructor from an (unsigned) integer. | |
| label () | |
| Constructor without argument. | |
| label< n > | next () const |
| Return the next value. | |
| operator unsigned () const | |
| Conversion to an unsigned integer. | |
| label< n > & | operator++ () |
| Self increment. | |
| label< n > & | operator-- () |
| Self decrement. | |
| label< n > & | operator= (const literal::zero_t &v) |
| Assignment from literal::zero. | |
| label< n > & | operator= (unsigned i) |
| Assignment from an (unsigned) integer. | |
| label< n > | prev () const |
| Return the previous value. | |
The parameter n is the number of encoding bits.
| typedef internal::encoding_unsigned_<n>::ret mln::value::label< n >::enc |
Encoding associated type.
| mln::value::label< n >::label | ( | ) | [inline] |
Constructor without argument.
| mln::value::label< n >::label | ( | unsigned | i | ) | [inline] |
Constructor from an (unsigned) integer.
| mln::value::label< n >::label | ( | const literal::zero_t & | v | ) | [inline] |
Constructor from literal::zero.
| label< n > mln::value::label< n >::next | ( | ) | const [inline] |
Return the next value.
| mln::value::label< n >::operator unsigned | ( | ) | const [inline] |
Conversion to an unsigned integer.
| label< n > & mln::value::label< n >::operator++ | ( | ) | [inline] |
Self increment.
| label< n > & mln::value::label< n >::operator-- | ( | ) | [inline] |
Self decrement.
| label< n > & mln::value::label< n >::operator= | ( | const literal::zero_t & | v | ) | [inline] |
Assignment from literal::zero.
| label< n > & mln::value::label< n >::operator= | ( | unsigned | i | ) | [inline] |
Assignment from an (unsigned) integer.
| label< n > mln::value::label< n >::prev | ( | ) | const [inline] |
Return the previous value.
1.5.6