native/include/time-types.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#ifndef TIME_TYPES_H
#define TIME_TYPES_H

#include <gmpxx.h>

typedef mpz_class integral_t;
typedef mpq_class fractional_t;

static inline void truncate_fraction(fractional_t &val)
{
    val.get_num() -= val.get_num() % val.get_den();
    val.canonicalize();
}

#endif