dReal4
math.h
1 #pragma once
2 
3 #include <cstdint>
4 
5 namespace dreal {
6 /// Returns true if @p v is represented by `int`.
7 bool is_integer(double v);
8 
9 /// Converts @p v of int64_t to int.
10 /// @throw std::runtime_error if this conversion result in a loss of precision.
11 int convert_int64_to_int(std::int64_t v);
12 
13 /// Converts @p v of int64_t to double.
14 /// @throw std::runtime_error if this conversion result in a loss of precision.
15 double convert_int64_to_double(std::int64_t v);
16 
17 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9
dreal::is_integer
bool is_integer(const Contractor &contractor)
Returns true if contractor is integer contractor.
Definition: contractor.cc:203