Public Types | Public Member Functions

mln::value::label< n > Struct Template Reference

Label value class. More...

#include <label.hh>

Inherits mln::value::Symbolic< label< n > >, and mln::value::internal::value_like_< unsigned,internal::encoding_unsigned_< n >::ret,int,label< n > >.

List of all members.

Public Types

typedef
internal::encoding_unsigned_
< n >::ret 
enc
 Encoding associated type.

Public Member Functions

 label ()
 Constructor without argument.
 label (unsigned i)
 Constructor from an (unsigned) integer.
 label (const literal::zero_t &v)
 Constructor from literal::zero.
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= (unsigned i)
 Assignment from an (unsigned) integer.
label< n > & operator= (const literal::zero_t &v)
 Assignment from literal::zero.
label< n > prev () const
 Return the previous value.

Detailed Description

template<unsigned n>
struct mln::value::label< n >

Label value class.

The parameter n is the number of encoding bits.

Definition at line 140 of file label.hh.


Member Typedef Documentation

template<unsigned n>
typedef internal::encoding_unsigned_<n>::ret mln::value::label< n >::enc

Encoding associated type.

Definition at line 150 of file label.hh.


Constructor & Destructor Documentation

template<unsigned n>
mln::value::label< n >::label (  )  [inline]

Constructor without argument.

Definition at line 271 of file label.hh.

template<unsigned n>
mln::value::label< n >::label ( unsigned  i  )  [inline]

Constructor from an (unsigned) integer.

Definition at line 277 of file label.hh.

template<unsigned n>
mln::value::label< n >::label ( const literal::zero_t v  )  [inline]

Constructor from literal::zero.

Definition at line 284 of file label.hh.


Member Function Documentation

template<unsigned n>
label< n > mln::value::label< n >::next (  )  const [inline]

Return the next value.

Definition at line 338 of file label.hh.

template<unsigned n>
mln::value::label< n >::operator unsigned (  )  const [inline]

Conversion to an unsigned integer.

Definition at line 291 of file label.hh.

template<unsigned n>
label< n > & mln::value::label< n >::operator++ (  )  [inline]

Self increment.

Definition at line 318 of file label.hh.

template<unsigned n>
label< n > & mln::value::label< n >::operator-- (  )  [inline]

Self decrement.

Definition at line 328 of file label.hh.

template<unsigned n>
label< n > & mln::value::label< n >::operator= ( unsigned  i  )  [inline]

Assignment from an (unsigned) integer.

Definition at line 299 of file label.hh.

template<unsigned n>
label< n > & mln::value::label< n >::operator= ( const literal::zero_t v  )  [inline]

Assignment from literal::zero.

Definition at line 309 of file label.hh.

template<unsigned n>
label< n > mln::value::label< n >::prev (  )  const [inline]

Return the previous value.

Definition at line 346 of file label.hh.