Public Member Functions

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

Unsigned integer value class. More...

#include <int_u.hh>

Inheritance diagram for mln::value::int_u< n >:
Inheritance graph

List of all members.

Public Member Functions

 int_u ()
 Constructor without argument.
 int_u (int i)
 Constructor from an integer.
int_u< n > next () const
 Give the next value (i.e., i + 1).
 operator unsigned () const
 Conversion to an unsigned integer.
int operator- () const
 Unary operator minus.
int_u< n > & operator= (int i)
 Assignment from an integer.

 int_u (const mln::literal::zero_t &)
 Constructors/assignments with literals.

Detailed Description

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

Unsigned integer value class.

The parameter is n the number of encoding bits.

Definition at line 156 of file int_u.hh.


Constructor & Destructor Documentation

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

Constructor without argument.

Definition at line 276 of file int_u.hh.

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

Constructor from an integer.

Definition at line 282 of file int_u.hh.

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

Constructors/assignments with literals.

Definition at line 291 of file int_u.hh.


Member Function Documentation

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

Give the next value (i.e., i + 1).

Definition at line 350 of file int_u.hh.

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

Conversion to an unsigned integer.

Definition at line 323 of file int_u.hh.

template<unsigned n>
int mln::value::int_u< n >::operator- (  )  const [inline]

Unary operator minus.

Definition at line 331 of file int_u.hh.

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

Assignment from an integer.

Definition at line 339 of file int_u.hh.