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

Label value class. More...

#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 > >.

List of all members.

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.

---

Detailed Description

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

Label value class.

The parameter n is the number of encoding bits.

---

Member Typedef Documentation

template<unsigned n>

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

Encoding associated type.

---

Constructor & Destructor Documentation

template<unsigned n>

mln::value::label< n >::label

(

)

[inline]

Constructor without argument.

template<unsigned n>

mln::value::label< n >::label

(

unsigned

i

)

[inline]

Constructor from an (unsigned) integer.

template<unsigned n>

mln::value::label< n >::label

(

const literal::zero_t &

v

)

[inline]

Constructor from literal::zero.

---

Member Function Documentation

template<unsigned n>

label< n > mln::value::label< n >::next

(

)

const [inline]

Return the next value.

template<unsigned n>

mln::value::label< n >::operator unsigned

(

)

const [inline]

Conversion to an unsigned integer.

template<unsigned n>

label< n > & mln::value::label< n >::operator++

(

)

[inline]

Self increment.

template<unsigned n>

label< n > & mln::value::label< n >::operator--

(

)

[inline]

Self decrement.

template<unsigned n>

label< n > & mln::value::label< n >::operator=

(

const literal::zero_t &

v

)

[inline]

Assignment from literal::zero.

template<unsigned n>

label< n > & mln::value::label< n >::operator=

(

unsigned

i

)

[inline]

Assignment from an (unsigned) integer.

template<unsigned n>

label< n > mln::value::label< n >::prev

(

)

const [inline]

Return the previous value.