#include <int_u.hh>
Public Member Functions | |
int_u (int i) | |
Constructor from an integer. | |
int_u () | |
Constructor without argument. | |
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. |
The parameter is n
the number of encoding bits.
mln::value::int_u< n >::int_u | ( | ) | [inline] |
Constructor without argument.
mln::value::int_u< n >::int_u | ( | int | i | ) | [inline] |
Constructor from an integer.
mln::value::int_u< n >::int_u | ( | const mln::literal::zero_t & | ) | [inline] |
Constructors/assignments with literals.
int_u< n > mln::value::int_u< n >::next | ( | ) | const [inline] |
Give the next value (i.e., i + 1).
mln::value::int_u< n >::operator unsigned | ( | ) | const [inline] |
Conversion to an unsigned integer.
int mln::value::int_u< n >::operator- | ( | ) | const [inline] |
Unary operator minus.
int_u< n > & mln::value::int_u< n >::operator= | ( | int | i | ) | [inline] |
Assignment from an integer.