#include <int_s.hh>
Public Member Functions | |
int_s (int i) | |
Constructor from an integer. | |
int_s () | |
Constructor without argument. | |
operator int () const | |
Conversion to an integer. | |
int_s< n > & | operator= (int i) |
Assignment from an integer. | |
int_s (const mln::literal::zero_t &) | |
Constructors/assignments with literals. | |
Static Public Attributes | |
static const int_s< n > | one = 1 |
Unit value. | |
static const int_s< n > | zero = 0 |
Zero value. |
The parameter is n
the number of encoding bits.
mln::value::int_s< n >::int_s | ( | ) | [inline] |
Constructor without argument.
mln::value::int_s< n >::int_s | ( | int | i | ) | [inline] |
Constructor from an integer.
mln::value::int_s< n >::int_s | ( | const mln::literal::zero_t & | ) | [inline] |
Constructors/assignments with literals.
mln::value::int_s< n >::operator int | ( | ) | const [inline] |
Conversion to an integer.
int_s< n > & mln::value::int_s< n >::operator= | ( | int | i | ) | [inline] |
Assignment from an integer.
const int_s< n > mln::value::int_s< n >::one = 1 [inline, static] |
Unit value.
const int_s< n > mln::value::int_s< n >::zero = 0 [inline, static] |
Zero value.