fixed_point_vector_analytic_rep< C > Class Template Reference

#include <analytic_sugar.hpp>

Inheritance diagram for fixed_point_vector_analytic_rep< C >:

List of all members.

Public Member Functions

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

Protected Attributes

• vector< C > init
• analytic< vector< C >
  , std_analytic > equa

Friends

• class recursive_container_analytic_rep< C, V >

---

Detailed Description

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

Definition at line 74 of file analytic_sugar.hpp.

---

Constructor & Destructor Documentation

fixed_point_vector_analytic_rep	(	const routine &	fun2,
		const vector< C > &	c2
	)			[inline]

Definition at line 81 of file analytic_sugar.hpp.

00081                                            :
00082       recursive_analytic_rep<Vector > (get_format (c2)),
00083       fun (fun2), c (c2) {}
  syntactic expression (const syntactic& z) const {

---

Member Function Documentation

virtual Abs_type

(

vector< C >

)

const [inline, virtual, inherited]

Definition at line 888 of file analytic.hpp.

References R.

                                                                     {
    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.

References mmx::clear_cache().

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

analytic< vector<C> > Derive

(

)

const [inline]

Definition at line 99 of file analytic_sugar.hpp.

                                    {
    ERROR ("not yet implemented"); }

analytic< vector<C> > Equation

(

)

const [inline, virtual]

Implements recursive_analytic_rep< vector< C > >.

Definition at line 91 of file analytic_sugar.hpp.

References mmx::as_vector(), mmx::from_vector(), and mmx::me.

                                      {
    vector<Analytic > in= as_vector (this->me ());
    generic genout= fun->apply (as<generic> (as<vector<generic> > (in)));
    vector<Analytic > out=
      as<vector<Analytic > > (as<vector<generic> > (genout));
    return from_vector (out); }

series< vector<C> > Expand

(

)

const [inline]

Definition at line 87 of file analytic_sugar.hpp.

                                  {
    return fixed_point_series_vector (fun, c); }

syntactic expression

(

const syntactic &

z

)

const [inline, virtual]

Reimplemented from recursive_analytic_rep< vector< C > >.

Definition at line 84 of file analytic_sugar.hpp.

References mmx::flatten().

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

vector<C> Initial

(

)

const [inline, virtual]

Implements recursive_analytic_rep< vector< C > >.

Definition at line 89 of file analytic_sugar.hpp.

                          {
    return c; }

analytic< vector<C> > Move

(

const typename unvectorize< C >::val &

z

)

const [inline]

Definition at line 97 of file analytic_sugar.hpp.

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

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

---

Friends And Related Function Documentation

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

Definition at line 901 of file analytic.hpp.

---

Member Data Documentation

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

Definition at line 877 of file analytic.hpp.

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