nullary_recursive_analytic_rep< Op, C, V > Class Template Reference

#include <analytic.hpp>

Inheritance diagram for nullary_recursive_analytic_rep< Op, C, V >:

List of all members.

Public Member Functions

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

Protected Attributes

• C c
• C init
• analytic< C, V > equa

Friends

• class recursive_container_analytic_rep< C, V >

---

Detailed Description

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

Definition at line 1031 of file analytic.hpp.

---

Constructor & Destructor Documentation

nullary_recursive_analytic_rep

(

const C &

c2

)

[inline]

Definition at line 1035 of file analytic.hpp.

01035                                                      :
01036     Recursive_analytic_rep (CF(c2)), c (c2) {}
  syntactic expression (const syntactic& z) const { (void) z;

---

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]

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.

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

analytic<C,V> Derive

(

)

const [inline]

Definition at line 1049 of file analytic.hpp.

References mmx::me.

                           {
    return Op::diff_op (this->me ()); }

analytic<C,V> Equation

(

)

const [inline, virtual]

Implements recursive_analytic_rep< C, V >.

Definition at line 1041 of file analytic.hpp.

References mmx::me.

                             {
    return Op::def (this->me ()); }

C Eval

(

const typename unvectorize< C >::val &

z

)

const [inline]

Definition at line 1047 of file analytic.hpp.

References nullary_recursive_analytic_rep< Op, C, V >::c.

                                 { (void) z;
    return Op::def (c); }

series<C> Expand

(

)

const [inline]

Definition at line 1043 of file analytic.hpp.

References nullary_recursive_analytic_rep< Op, C, V >::c.

                         {
    return nullary_recursive_series<Op> (c); }

syntactic expression

(

const syntactic &

z

)

const [inline, virtual]

Reimplemented from recursive_analytic_rep< C, V >.

Definition at line 1037 of file analytic.hpp.

References nullary_recursive_analytic_rep< Op, C, V >::c, and mmx::flatten().

                                                  { (void) z;
    return Op::op_init (flatten (c)); }

C Initial

(

)

const [inline, virtual]

Implements recursive_analytic_rep< C, V >.

Definition at line 1039 of file analytic.hpp.

References nullary_recursive_analytic_rep< Op, C, V >::c.

                     {
    return c; }

analytic<C,V> Move

(

const typename unvectorize< C >::val &

z

)

const [inline]

Definition at line 1045 of file analytic.hpp.

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

                                        {
    return nullary_recursive_analytic<Op> (eval (this->me (), z)); }

---

Friends And Related Function Documentation

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

Definition at line 901 of file analytic.hpp.

---

Member Data Documentation

C c [protected]

Definition at line 1033 of file analytic.hpp.

Referenced by nullary_recursive_analytic_rep< Op, C, V >::Eval(), nullary_recursive_analytic_rep< Op, C, V >::Expand(), nullary_recursive_analytic_rep< Op, C, V >::expression(), and nullary_recursive_analytic_rep< Op, C, V >::Initial().

analytic<C,V> 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.hpp