#include <solver_binary.hpp>
Public Types | |
typedef K::integer | integer |
typedef K::rational | rational |
typedef K::floating | floating |
typedef K::ieee | C |
typedef unsigned | sz_t |
typedef bigunsigned< bitquo+(sz_t)(bitrem!=0)> | unsigned_t |
typedef C | creal_t |
Public Member Functions | |
void | Loop (bool isole=true) |
template<class output > | |
void | get_flags (output &o) |
template<class input > | |
void | run_loop (const input &in, const creal_t &eps, bool isole, texp::false_t) |
Static Public Member Functions | |
static void | split (creal_t *r, creal_t *l, sz_t sz) |
static sz_t | sgncnt (creal_t const *b, sz_t sz) |
static void | split (bound &r, bound &l) |
static void | print (creal_t *p, sz_t n) |
Static Public Attributes | |
static const sz_t | bitquo = numerics::bit_resolution<C>::nbit / numerics::hdwi<sz_t>::nbit |
static const sz_t | bitrem = numerics::bit_resolution<C>::nbit % numerics::hdwi<sz_t>::nbit |
static data_t | data |
typedef K::ieee mmx::binary_subdivision< K >::C |
typedef C mmx::binary_subdivision< K >::creal_t |
typedef K::floating mmx::binary_subdivision< K >::floating |
typedef K::integer mmx::binary_subdivision< K >::integer |
typedef K::rational mmx::binary_subdivision< K >::rational |
typedef unsigned mmx::binary_subdivision< K >::sz_t |
typedef bigunsigned<bitquo+(sz_t)(bitrem!=0)> mmx::binary_subdivision< K >::unsigned_t |
|
inline |
|
inline |
|
inlinestatic |
|
inline |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
static |
|
static |
|
static |