]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /////////////////////////////////////////////////////////////// |
2 | // Copyright 2012 John Maddock. Distributed under the Boost | |
3 | // Software License, Version 1.0. (See accompanying file | |
92f5a8d4 | 4 | // LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt |
7c673cae | 5 | |
7c673cae FG |
6 | #include <boost/multiprecision/cpp_int.hpp> |
7 | ||
8 | #include "test_arithmetic.hpp" | |
9 | ||
10 | template <unsigned MinBits, unsigned MaxBits, boost::multiprecision::cpp_integer_type SignType, class Allocator, boost::multiprecision::expression_template_option ExpressionTemplates> | |
92f5a8d4 TL |
11 | struct is_twos_complement_integer<boost::multiprecision::number<boost::multiprecision::cpp_int_backend<MinBits, MaxBits, SignType, boost::multiprecision::checked, Allocator>, ExpressionTemplates> > : public boost::mpl::false_ |
12 | {}; | |
7c673cae FG |
13 | |
14 | template <> | |
15 | struct related_type<boost::multiprecision::cpp_int> | |
16 | { | |
17 | typedef boost::multiprecision::int256_t type; | |
18 | }; | |
19 | template <unsigned MinBits, unsigned MaxBits, boost::multiprecision::cpp_integer_type SignType, boost::multiprecision::cpp_int_check_type Checked, class Allocator, boost::multiprecision::expression_template_option ET> | |
20 | struct related_type<boost::multiprecision::number<boost::multiprecision::cpp_int_backend<MinBits, MaxBits, SignType, Checked, Allocator>, ET> > | |
21 | { | |
92f5a8d4 | 22 | typedef boost::multiprecision::number<boost::multiprecision::cpp_int_backend<MinBits / 2, MaxBits / 2, SignType, Checked, Allocator>, ET> type; |
7c673cae FG |
23 | }; |
24 | ||
11fdf7f2 | 25 | template <> |
92f5a8d4 TL |
26 | struct is_checked_cpp_int<boost::multiprecision::number<boost::multiprecision::cpp_int_backend<64, 64, boost::multiprecision::unsigned_magnitude, boost::multiprecision::checked, void> > > : public boost::mpl::true_ |
27 | {}; | |
11fdf7f2 | 28 | |
7c673cae FG |
29 | int main() |
30 | { | |
31 | test<boost::multiprecision::number<boost::multiprecision::cpp_int_backend<64, 64, boost::multiprecision::unsigned_magnitude, boost::multiprecision::checked, void> > >(); | |
32 | return boost::report_errors(); | |
33 | } |