#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 |