#include <sign.hh>
Inherits mln::value::internal::Integer< mln::value::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 (int i) | |
Constructor from an integer. | |
sign () | |
Constructor without argument. | |
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. |
typedef int mln::value::sign::enc |
FIXME Are these typedefs correct?
Define the encoding type
typedef int mln::value::sign::equiv |
Define the equivalent type.
mln::value::sign::sign | ( | ) | [inline] |
Constructor without argument.
mln::value::sign::sign | ( | int | i | ) | [inline] |
Constructor from an integer.
mln::value::sign::sign | ( | const mln::literal::zero_t & | ) | [inline] |
Constructors/assignments with literals.
mln::value::sign::operator int | ( | ) | const [inline] |
Conversion to an integer.
sign & mln::value::sign::operator= | ( | int | i | ) | [inline] |
Assignment from an integer.
const sign mln::value::sign::one = 1 [static] |
Unit value.
const sign mln::value::sign::zero = 0 [static] |
Zero value.