$extrastylesheet
#include <mln/value/int_s.hh>
Public Member Functions | |
int_s () | |
int_s (int i) | |
C & | handle_ () |
operator int () const | |
int_s< n > & | operator= (int i) |
const C & | to_enc () const |
V | to_equiv () const |
N | to_interop () const |
int_s (const mln::literal::zero_t &) | |
int_s & | operator= (const mln::literal::zero_t &) |
int_s (const mln::literal::one_t &) | |
int_s & | operator= (const mln::literal::one_t &) |
Static Public Attributes | |
static const int_s< n > | one |
static const int_s< n > | zero |
Protected Attributes | |
enc | v_ |
Public Types | |
typedef Integer< void > | category |
typedef C | enc |
typedef V | equiv |
typedef int_s< n > | exact_t |
typedef N | interop |
Signed integer value class.
The parameter is n
the number of encoding bits.
mln::value::int_s< n >::int_s | ( | ) |
Constructor without argument.
mln::value::int_s< n >::int_s | ( | int | i | ) |
Constructor from an integer.
mln::value::int_s< n >::int_s | ( | const mln::literal::zero_t & | ) |
Constructors/assignments with literals.
mln::value::int_s< n >::int_s | ( | const mln::literal::one_t & | ) |
|
inlineinherited |
Definition at line 81 of file value_like.hh.
mln::value::int_s< n >::operator int | ( | ) | const |
Conversion to an integer.
int_s& mln::value::int_s< n >::operator= | ( | const mln::literal::zero_t & | ) |
int_s& mln::value::int_s< n >::operator= | ( | const mln::literal::one_t & | ) |
int_s<n>& mln::value::int_s< n >::operator= | ( | int | i | ) |
Assignment from an integer.
|
inherited |
Explicit conversion towards encoding type.
|
inherited |
Explicit conversion towards equivalent type.
|
inherited |
Explicit conversion towards interoperation type.
|
static |
|
protectedinherited |
Definition at line 84 of file value_like.hh.
|
static |
|
inherited |
Definition at line 60 of file concept/integer.hh.
|
inherited |
Encoding associated type.
Definition at line 65 of file value_like.hh.
|
inherited |
Equivalent associated type.
Definition at line 62 of file value_like.hh.
|
inherited |
|
inherited |
Interoperation associated type.
Definition at line 68 of file value_like.hh.