fixed_point_analytic_rep< C > Class Template Reference

#include <analytic_sugar.hpp>

Inheritance diagram for fixed_point_analytic_rep< C >:

List of all members.

Public Member Functions

• fixed_point_analytic_rep (const routine &fun2, const C &c2)
• syntactic expression (const syntactic &z) const
• series< C > Expand () const
• C Initial () const
• analytic< C > Equation () const
• analytic< C > Move (const typename unvectorize< C >::val &z) const
• analytic< C > Derive () const
• virtual void Clear_cache (nat which) const
• virtual Abs_type (C) Tail_bound(const Abs_type(typename unvectorize< C >

Protected Attributes

• C init
• analytic< C, std_analytic > equa

Friends

• class recursive_container_analytic_rep< C, V >

---

Detailed Description

template<typename C>
class mmx::fixed_point_analytic_rep< C >

Definition at line 42 of file analytic_sugar.hpp.

---

Constructor & Destructor Documentation

fixed_point_analytic_rep	(	const routine &	fun2,
		const C &	c2
	)			[inline]

Definition at line 46 of file analytic_sugar.hpp.

00046                                                              :
00047     recursive_analytic_rep<C> (get_format (c2)), fun (fun2), c (c2) {}
  syntactic expression (const syntactic& z) const {

---

Member Function Documentation

virtual Abs_type

(

C

)

const [inline, virtual, inherited]

Definition at line 888 of file analytic.hpp.

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

virtual void Clear_cache

(

nat

which

)

const [inline, virtual, inherited]

Definition at line 881 of file analytic.hpp.

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

analytic<C> Derive

(

)

const [inline]

Definition at line 59 of file analytic_sugar.hpp.

                           {
    ERROR ("not yet implemented"); }

analytic<C> Equation

(

)

const [inline, virtual]

Implements recursive_analytic_rep< C >.

Definition at line 55 of file analytic_sugar.hpp.

References mmx::me.

                             {
    return as<Analytic > (fun->apply (as<generic> (this->me ()))); }

series<C> Expand

(

)

const [inline]

Definition at line 51 of file analytic_sugar.hpp.

                            {
    return fixed_point_series (fun, c); }

syntactic expression

(

const syntactic &

z

)

const [inline, virtual]

Reimplemented from recursive_analytic_rep< C >.

Definition at line 48 of file analytic_sugar.hpp.

References mmx::flatten().

                                                  {
    (void) z;
    return apply ("fixed_point", flatten (fun), flatten (c)); }

C Initial

(

)

const [inline, virtual]

Implements recursive_analytic_rep< C >.

Definition at line 53 of file analytic_sugar.hpp.

                     {
    return c; }

analytic<C> Move

(

const typename unvectorize< C >::val &

z

)

const [inline]

Definition at line 57 of file analytic_sugar.hpp.

References mmx::eval(), mmx::fixed_point_analytic(), and mmx::me.

                                        {
    return fixed_point_analytic (fun, eval (this->me (), z)); }

---

Friends And Related Function Documentation

friend class recursive_container_analytic_rep< C , std_analytic > [friend, inherited]

Definition at line 901 of file analytic.hpp.

---

Member Data Documentation

analytic<C ,std_analytic > equa [protected, inherited]

Definition at line 877 of file analytic.hpp.

C init [protected, inherited]

Definition at line 876 of file analytic.hpp.

---

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

• include/continewz/analytic_sugar.hpp