recursive_analytic_rep< C, V > Class Template Reference

#include <analytic.hpp>

Inheritance diagram for recursive_analytic_rep< C, V >:

List of all members.

Public Member Functions

recursive_analytic_rep (const format< C > &fm)
virtual void Clear_cache (nat which) const
virtual syntactic expression (const syntactic &z) const
virtual C Initial () const =0
virtual analytic< C, V > Equation () const =0
virtual Abs_type (C) Tail_bound(const Abs_type(typename unvectorize< C >

Protected Attributes

C init
analytic< C, V > equa

Friends

class recursive_container_analytic_rep< C, V >

Detailed Description

template<typename C, typename V = std_analytic>
class mmx::recursive_analytic_rep< C, V >

Definition at line 874 of file analytic.hpp.

Constructor & Destructor Documentation

recursive_analytic_rep ( const format< C > & fm ) [inline]

Definition at line 879 of file analytic.hpp.

00879                                                   :
00880     Analytic_rep (fm) {}
  virtual void Clear_cache (nat which) const {

Member Function Documentation

virtual Abs_type ( C ) const [inline, virtual]

Definition at line 888 of file analytic.hpp.

00888                                                                      {
00889     void* code= (void*) this;
00890     R zero= promote (0, r) * abs (init); // get right dimensions in vector case
00891     if (!a.assumption->contains (code))
00892       a.assumption [code]= unvectorize<R>::encode (zero);
00893     this->cache->assumption [order]= a.serial;
00894     this->cache->tail_bound [order]=
00895       unvectorize<R>::decode (read (a.assumption, code), zero);
00896     R bnd= tail_bound (this->equa, r, order, a);
00897     if (order == 0) bnd += abs (this->initial ());
00898     this->cache->tail_bound [order]= bnd; // redundant, but for security
00899     a.conclusion [code]= unvectorize<R>::encode (bnd);
00900     return bnd; }

virtual void Clear_cache ( nat which ) const [inline, virtual]

Reimplemented in unary_recursive_analytic_rep< Op, C, V >, and binary_recursive_analytic_rep< Op, C, V >.

Definition at line 881 of file analytic.hpp.

00881                                              {
00882     Analytic_rep::Clear_cache (which);
00883     clear_cache (equa, which); }

virtual analytic<C,V> Equation ( ) const [pure virtual]

Implemented in nullary_recursive_analytic_rep< Op, C, V >, unary_recursive_analytic_rep< Op, C, V >, binary_recursive_analytic_rep< Op, C, V >, fixed_point_analytic_rep< C >, and fixed_point_vector_analytic_rep< C >.

virtual syntactic expression ( const syntactic & z ) const [inline, virtual]

Reimplemented in nullary_recursive_analytic_rep< Op, C, V >, unary_recursive_analytic_rep< Op, C, V >, binary_recursive_analytic_rep< Op, C, V >, fixed_point_analytic_rep< C >, and fixed_point_vector_analytic_rep< C >.

Definition at line 884 of file analytic.hpp.

00884                                                           {
00885     (void) z; return "recursive"; }

virtual C Initial ( ) const [pure virtual]

Implemented in nullary_recursive_analytic_rep< Op, C, V >, unary_recursive_analytic_rep< Op, C, V >, binary_recursive_analytic_rep< Op, C, V >, fixed_point_analytic_rep< C >, and fixed_point_vector_analytic_rep< C >.

Friends And Related Function Documentation

friend class recursive_container_analytic_rep< C, V > [friend]

Definition at line 901 of file analytic.hpp.

Member Data Documentation

analytic<C,V> equa [protected]

Definition at line 877 of file analytic.hpp.

C init [protected]

Definition at line 876 of file analytic.hpp.

The documentation for this class was generated from the following file:

include/continewz/analytic.hpp