#include <analytic.hpp>
Definition at line 77 of file analytic.hpp.
| Abs_type | ( | typename unvectorize< C >::val | ) |
| table<llnat,nat> assumption |
Definition at line 82 of file analytic.hpp.
| table< Abs_type(C) ,nat> conv_bound |
Definition at line 85 of file analytic.hpp.
Definition at line 89 of file analytic.hpp.
Definition at line 80 of file analytic.hpp.
| table< Abs_type(C) ,nat> head_bound |
Definition at line 83 of file analytic.hpp.
| unvectorize<C>::val next |
Definition at line 87 of file analytic.hpp.
| table< Abs_type( typename unvectorize<C>::val ) ,nat> radius_bound |
Definition at line 86 of file analytic.hpp.
| table< Abs_type(C) ,nat> tail_bound |
Definition at line 84 of file analytic.hpp.
1.6.1