dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
math.h
1
8#pragma once
9
10#include <cstdint>
11
12#include "dlinear/libs/libgmp.h"
13
14namespace dlinear {
15
17
22bool IsInteger(double v);
28bool IsInteger(const mpq_class &v);
29
36int ConvertInt64ToInt(std::int64_t v);
37
44double ConvertInt64ToDouble(std::int64_t v);
45
51mpq_class ConvertInt64ToRational(std::int64_t v);
52
53} // namespace dlinear
Global namespace for the dlinear library.
int ConvertInt64ToInt(const std::int64_t v)
Convert v of int64_t to int.
Definition math.cpp:34
double ConvertInt64ToDouble(const std::int64_t v)
Convert v of int64_t to double.
Definition math.cpp:39
bool IsInteger(const double v)
Returns true if v is represented by int.
Definition math.cpp:16
mpq_class ConvertInt64ToRational(std::int64_t v)
Convert v of int64_t to rational.
Definition math.cpp:45