Milena (Olena)
User documentation 2.0a Id
|
Unsigned integer value class. More...
#include <int_u.hh>
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. | |
Unsigned integer value class.
The parameter is n
the number of encoding bits.
|
inline |
|
inline |
|
inline |