LocARNA-2.0.0
|
#include <infty_int.hh>
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... | |
![]() | |
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) |
![]() | |
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 | |
![]() | |
typedef long int | base_type |
the base type | |
![]() | |
static base_type | min_finite () |
minimum finite value More... | |
static base_type | max_finite () |
maximum finite value More... | |
![]() | |
static const InftyInt | neg_infty |
normalized negative infinity More... | |
static const InftyInt | pos_infty |
normalized positive infinity More... | |
![]() | |
base_type | val |
value | |
![]() | |
static const base_type | min_finity |
minimum finite value More... | |
static const base_type | max_finity |
maximum finite value More... | |
static const base_type | min_normal_neg_infty |
minimum normal infinite value More... | |
static const base_type | max_normal_pos_infty |
maximum normal infinite value More... | |
Finite integer value compatible with potentially infinite integers.
|
inline |
Construct from base type value.
x | value |
|
inline |
Access finite value.
Add.
x | operand 1 |
y | operand 2 |
Subtract.
x | operand 1 |
y | operand 2 |