LocARNA::InftyInt Class Reference

#include <infty_int.hh>

Inheritance diagram for LocARNA::InftyInt:

List of all members.

Public Member Functions
	InftyInt ()
	Construct empty.
	InftyInt (const base_type &x)
	Construct from base type.
	InftyInt (const FiniteInt &x)
	Construct from finite int.
	InftyInt (const TaintedInftyInt &x)
	Construct from potentially tainted.
InftyInt &	operator= (TaintedInftyInt &x)
	Assignment from potentially tainted infty int.
InftyInt &	operator+= (const FiniteInt &x)
InftyInt &	operator-= (const FiniteInt &x)
Static Public Attributes
static const InftyInt	neg_infty
	normalized negative infinity
static const InftyInt	pos_infty
	normalized positive infinity
Friends
InftyInt	operator+ (const InftyInt &x, const FiniteInt &y)
InftyInt	operator- (const InftyInt &x, const FiniteInt &y)

---

Detailed Description

Potentially infinite value where finite values are integer. The representation of infinite values is normalized. Due to the normalization it is safe to add or subtract a second normal potentially infinite integer (thereby generating an non-normalized potentially infinite integer).

---

Constructor & Destructor Documentation

LocARNA::InftyInt::InftyInt

(

const base_type &

x

)

[inline, explicit]

Construct from base type.

Parameters:

x	value of base type

LocARNA::InftyInt::InftyInt

(

const FiniteInt &

x

)

[inline, explicit]

Construct from finite int.

Parameters:

x

value

LocARNA::InftyInt::InftyInt

(

const TaintedInftyInt &

x

)

[inline]

Construct from potentially tainted.

Parameters:

x

value

Note:

used for implicit type cast, untainting

---

Member Function Documentation

InftyInt & LocARNA::InftyInt::operator+=

(

const FiniteInt &

x

)

[inline]

Add in place

Parameters:

x

operand

Returns:

*this after operation

InftyInt & LocARNA::InftyInt::operator-=

(

const FiniteInt &

x

)

[inline]

Subtract in place

Parameters:

x

operand

Returns:

*this after operation

InftyInt& LocARNA::InftyInt::operator=

(

TaintedInftyInt &

x

)

[inline]

Assignment from potentially tainted infty int.

Parameters:

x

value

Returns:

*this

---

Friends And Related Function Documentation

InftyInt operator+	(	const InftyInt &	x,
		const FiniteInt &	y
	)		[friend]

Add

Parameters:

x	operand 1
y	operand 2

Returns:

x plus y

InftyInt operator-	(	const InftyInt &	x,
		const FiniteInt &	y
	)		[friend]

Subtract

Parameters:

x	operand 1
y	operand 2

Returns:

x minus y

---

Member Data Documentation

const InftyInt LocARNA::InftyInt::neg_infty [static]

Initial value:

 InftyInt(
        std::numeric_limits<TaintedInftyInt::base_type>::min() / 5 * 2)

normalized negative infinity

const InftyInt LocARNA::InftyInt::pos_infty [static]

Initial value:

 InftyInt(
        -(std::numeric_limits<TaintedInftyInt::base_type>::min() / 5 * 2))

normalized positive infinity

---

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

• src/LocARNA/infty_int.hh
• src/LocARNA/infty_int.cc