#include <infty_int.hh>
Public Member Functions | |
FiniteInt () | |
Construct empty. | |
FiniteInt (base_type x) | |
Construct from base type value. | |
const base_type & | finite_value () const |
Access finite value. | |
Friends | |
FiniteInt | operator+ (const FiniteInt &x, const FiniteInt &y) |
Add. | |
FiniteInt | operator- (const FiniteInt &x, const FiniteInt &y) |
Subtract. |
Finite integer value compatible with potentially infinite integers.
LocARNA::FiniteInt::FiniteInt | ( | base_type | x | ) | [inline] |
Construct from base type value.
x | value |
const base_type& LocARNA::FiniteInt::finite_value | ( | ) | const [inline] |
Add.
x | operand 1 |
y | operand 2 |
Subtract.
x | operand 1 |
y | operand 2 |