Milena (Olena)  User documentation 2.0a Id
 All Classes Namespaces Functions Variables Typedefs Enumerator Groups Pages
mln::value::label< n > Struct Template Reference

Label value class. More...

#include <label.hh>

Inherits mln::value::Symbolic< E >, and mln::value::internal::value_like_< V, C, N, E >.

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>
label< n >::label ( )
inline

Constructor without argument.

Definition at line 271 of file label.hh.

template<unsigned n>
label< n >::label ( unsigned  i)
inline

Constructor from an (unsigned) integer.

Definition at line 277 of file label.hh.

template<unsigned n>
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 > label< n >::next ( ) const
inline

Return the next value.

Definition at line 338 of file label.hh.

template<unsigned n>
label< n >::operator unsigned ( ) const
inline

Conversion to an unsigned integer.

Definition at line 291 of file label.hh.

template<unsigned n>
label< n > & label< n >::operator++ ( )
inline

Self increment.

Definition at line 318 of file label.hh.

template<unsigned n>
label< n > & label< n >::operator-- ( )
inline

Self decrement.

Definition at line 328 of file label.hh.

template<unsigned n>
label< n > & label< n >::operator= ( unsigned  i)
inline

Assignment from an (unsigned) integer.

Definition at line 299 of file label.hh.

template<unsigned n>
label< n > & 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 > label< n >::prev ( ) const
inline

Return the previous value.

Definition at line 346 of file label.hh.