#include <infty_int.hh>

Inheritance diagram for LocARNA::FiniteInt:

Collaboration diagram for LocARNA::FiniteInt:

Public Member Functions
	FiniteInt ()
	Construct empty.

	FiniteInt (base_type x)
	Construct from base type value. More...

const base_type &	finite_value () const
	Access finite value. More...

Public Member Functions inherited from LocARNA::InftyInt
	InftyInt ()
	Construct empty.

	InftyInt (const base_type &x)
	Construct from base type. More...

	InftyInt (const FiniteInt &x)
	Construct from finite int. More...

	InftyInt (const TaintedInftyInt &x)
	Construct from potentially tainted. More...

InftyInt &	operator= (TaintedInftyInt &x)
	Assignment from potentially tainted infty int. More...

InftyInt &	operator+= (const FiniteInt &x)

InftyInt &	operator-= (const FiniteInt &x)

Public Member Functions inherited from LocARNA::TaintedInftyInt
	TaintedInftyInt ()
	Construct empty.

	TaintedInftyInt (const base_type &x)
	Construct from base type. More...

bool	is_neg_infty () const

bool	is_pos_infty () const

bool	is_finite () const

bool	is_normal () const

base_type	finite_value () const
	Convert finite value to base type. More...

TaintedInftyInt &	operator= (const FiniteInt &x)
	Assignment. More...

Friends
FiniteInt	operator+ (const FiniteInt &x, const FiniteInt &y)
	Add. More...

FiniteInt	operator- (const FiniteInt &x, const FiniteInt &y)
	Subtract. More...

Additional Inherited Members
Public Types inherited from LocARNA::TaintedInftyInt
typedef long int	base_type
	the base type

Static Public Member Functions inherited from LocARNA::TaintedInftyInt
static base_type	min_finite ()
	minimum finite value More...

static base_type	max_finite ()
	maximum finite value More...

Static Public Attributes inherited from LocARNA::InftyInt
static const InftyInt	neg_infty
	normalized negative infinity More...

static const InftyInt	pos_infty
	normalized positive infinity More...

Protected Attributes inherited from LocARNA::TaintedInftyInt
base_type	val
	value

Static Protected Attributes inherited from LocARNA::TaintedInftyInt
static const base_type	min_finity = std::numeric_limits<TaintedInftyInt::base_type>::min()/5
	minimum finite value

static const base_type	max_finity = -(std::numeric_limits<TaintedInftyInt::base_type>::min()/5)-1
	maximum finite value

static const base_type	min_normal_neg_infty = std::numeric_limits<TaintedInftyInt::base_type>::min()/5 * 3
	minimum normal infinite value

static const base_type	max_normal_pos_infty = -(std::numeric_limits<TaintedInftyInt::base_type>::min()/5 * 3) -1
	maximum normal infinite value

Detailed Description

Finite integer value compatible with potentially infinite integers.

Constructor & Destructor Documentation

LocARNA::FiniteInt::FiniteInt ( base_type x )

inline

Construct from base type value.

Parameters

x value

const base_type& LocARNA::FiniteInt::finite_value ( ) const

inline

Access finite value.

friend

Add.

Parameters

x	operand 1
y	operand 2

friend

Subtract.

Parameters

x	operand 1
y	operand 2

The documentation for this class was generated from the following file: