$extrastylesheet
#include <mln/value/label.hh>
Public Member Functions | |
label () | |
label (unsigned i) | |
label (const literal::zero_t &v) | |
C & | handle_ () |
label< n > | next () const |
operator unsigned () const | |
label< n > & | operator++ () |
label< n > & | operator-- () |
label< n > & | operator= (unsigned i) |
label< n > & | operator= (const literal::zero_t &v) |
label< n > | prev () const |
const C & | to_enc () const |
V | to_equiv () const |
N | to_interop () const |
Protected Attributes | |
enc | v_ |
Public Types | |
typedef Symbolic< void > | category |
typedef internal::encoding_unsigned_ < n >::ret | enc |
typedef V | equiv |
typedef label< n > | exact_t |
typedef N | interop |
Related Functions | |
(Note that these are not member functions.) | |
typedef label< 32 > | label_32 |
Label value class.
The parameter n
is the number of encoding bits.
mln::value::label< n >::label | ( | ) |
Constructor without argument.
mln::value::label< n >::label | ( | unsigned | i | ) |
Constructor from an (unsigned) integer.
mln::value::label< n >::label | ( | const literal::zero_t & | v | ) |
Constructor from literal::zero.
|
inlineinherited |
Definition at line 81 of file value_like.hh.
label<n> mln::value::label< n >::next | ( | ) | const |
Return the next value.
mln::value::label< n >::operator unsigned | ( | ) | const |
Conversion to an unsigned integer.
label<n>& mln::value::label< n >::operator++ | ( | ) |
Self increment.
label<n>& mln::value::label< n >::operator-- | ( | ) |
Self decrement.
label<n>& mln::value::label< n >::operator= | ( | unsigned | i | ) |
Assignment from an (unsigned) integer.
label<n>& mln::value::label< n >::operator= | ( | const literal::zero_t & | v | ) |
Assignment from literal::zero.
label<n> mln::value::label< n >::prev | ( | ) | const |
Return the previous value.
|
inherited |
Explicit conversion towards encoding type.
|
inherited |
Explicit conversion towards equivalent type.
|
inherited |
Explicit conversion towards interoperation type.
|
protectedinherited |
Definition at line 84 of file value_like.hh.
|
inherited |
Definition at line 64 of file symbolic.hh.
typedef internal::encoding_unsigned_<n>::ret mln::value::label< n >::enc |
|
inherited |
Equivalent associated type.
Definition at line 62 of file value_like.hh.
|
inherited |
|
inherited |
Interoperation associated type.
Definition at line 68 of file value_like.hh.