Public Types | Public Member Functions | Static Public Attributes

mln::value::sign Class Reference

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 >.

List of all members.

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.
signoperator= (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.

Detailed Description

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.


Member Typedef Documentation

typedef int mln::value::sign::enc

FIXME Are these typedefs correct?

Define the encoding type

Definition at line 55 of file value/sign.hh.

Define the equivalent type.

Definition at line 58 of file value/sign.hh.


Constructor & Destructor Documentation

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.


Member Function Documentation

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.


Member Data Documentation

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.