The sign class represents the value type composed by the set (-1, 0, 1) sign value type is a subset of the int value type. More...
#include <sign.hh>
Inherits Integer< sign >.
Public Types | |
typedef int | enc |
FIXME Are these typedefs correct? | |
typedef int | equiv |
Define the equivalent type. | |
Public Member Functions | |
operator int () const | |
Conversion to an integer. | |
sign & | operator= (int i) |
Assignment from an integer. | |
sign () | |
Constructor without argument. | |
sign (int i) | |
Constructor from an integer. | |
sign (const mln::literal::zero_t &) | |
Constructors/assignments with literals. | |
Static Public Attributes | |
static const sign | one = 1 |
Unit value. | |
static const sign | zero = 0 |
Zero value. |
The sign class represents the value type composed by the set (-1, 0, 1) sign value type is a subset of the int value type.
Definition at line 49 of file value/sign.hh.
typedef int mln::value::sign::enc |
FIXME Are these typedefs correct?
Define the encoding type
Definition at line 55 of file value/sign.hh.
typedef int mln::value::sign::equiv |
Define the equivalent type.
Definition at line 58 of file value/sign.hh.
mln::value::sign::sign | ( | ) | [inline] |
Constructor without argument.
Definition at line 119 of file value/sign.hh.
mln::value::sign::sign | ( | int | i | ) | [inline] |
Constructor from an integer.
Definition at line 137 of file value/sign.hh.
mln::value::sign::sign | ( | const mln::literal::zero_t & | ) | [inline] |
Constructors/assignments with literals.
Definition at line 155 of file value/sign.hh.
mln::value::sign::operator int | ( | ) | const [inline] |
Conversion to an integer.
Definition at line 124 of file value/sign.hh.
sign & mln::value::sign::operator= | ( | int | i | ) | [inline] |
Assignment from an integer.
Definition at line 146 of file value/sign.hh.
const sign mln::value::sign::one = 1 [static] |
Unit value.
Definition at line 88 of file value/sign.hh.
const sign mln::value::sign::zero = 0 [static] |
Zero value.
Definition at line 85 of file value/sign.hh.