#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 |
1.7.6.1