binary_recursive_analytic_rep< Op, C, V > Class Template Reference

#include <analytic.hpp>

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

List of all members.

Public Member Functions

binary_recursive_analytic_rep (const analytic< C, V > &f2, const analytic< C, V > &g2)
void Clear_cache (nat which) const
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 Abs_type (C) Tail_bound(const Abs_type(typename unvectorize< C >

Protected Attributes

Friends

class recursive_container_analytic_rep< C, V >

Detailed Description

template<typename Op, typename C, typename V>
class mmx::binary_recursive_analytic_rep< Op, C, V >

Definition at line 1157 of file analytic.hpp.

Constructor & Destructor Documentation

binary_recursive_analytic_rep	(	const analytic< C, V > &	f2,
		const analytic< C, V > &	g2
	)			`[inline]`

Definition at line 1161 of file analytic.hpp.

01161                                                                                :
01162     Recursive_analytic_rep (CF(f2)), f (f2), g (g2) {}
  void Clear_cache (nat which) const {

Member Function Documentation

virtual Abs_type ( C ) const [inline, virtual, inherited]

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; }

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

Reimplemented from recursive_analytic_rep< C, V >.

Definition at line 1163 of file analytic.hpp.

References mmx::clear_cache(), and binary_recursive_analytic_rep< Op, C, V >::g.

01163                                      {
01164     Recursive_analytic_rep::Clear_cache (which);
01165     clear_cache (f, which);
01166     clear_cache (g, which); }

analytic<C,V> Derive ( ) const [inline]

Definition at line 1179 of file analytic.hpp.

References binary_recursive_analytic_rep< Op, C, V >::g, and mmx::me.

01179                            {
01180     return Op::diff_op (this->me (), f, g); }

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

Implements recursive_analytic_rep< C, V >.

Definition at line 1171 of file analytic.hpp.

References binary_recursive_analytic_rep< Op, C, V >::g, and mmx::me.

01171                              {
01172     return Op::def (this->me (), f, g); }

C Eval ( const typename unvectorize< C >::val & z ) const [inline]

Definition at line 1177 of file analytic.hpp.

References mmx::eval(), and binary_recursive_analytic_rep< Op, C, V >::g.

01177                                  {
01178     return Op::op (eval (f, z), eval (g, z)); }

series<C> Expand ( ) const [inline]

Definition at line 1173 of file analytic.hpp.

References mmx::expand(), and binary_recursive_analytic_rep< Op, C, V >::g.

01173                          {
01174     return Op::op (expand (f), expand (g)); }

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

Reimplemented from recursive_analytic_rep< C, V >.

Definition at line 1167 of file analytic.hpp.

References mmx::flatten(), and binary_recursive_analytic_rep< Op, C, V >::g.

01167                                                   {
01168     return Op::op (flatten (f, z), flatten (g, z)); }

C Initial ( ) const [inline, virtual]

Implements recursive_analytic_rep< C, V >.

Definition at line 1169 of file analytic.hpp.

References mmx::expand(), and binary_recursive_analytic_rep< Op, C, V >::g.

01169                      {
01170     return Op::op (expand (f), expand (g)) [0]; }

analytic<C,V> Move ( const typename unvectorize< C >::val & z ) const [inline]

Definition at line 1175 of file analytic.hpp.

References binary_recursive_analytic_rep< Op, C, V >::g, and mmx::move().

01175                                         {
01176     return Op::op (move (f, z), move (g, 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

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

Definition at line 877 of file analytic.hpp.

analytic<C,V> f [protected]

Definition at line 1159 of file analytic.hpp.

analytic<C,V> g [protected]

Definition at line 1159 of file analytic.hpp.

Referenced by binary_recursive_analytic_rep< Op, C, V >::Clear_cache(), binary_recursive_analytic_rep< Op, C, V >::Derive(), binary_recursive_analytic_rep< Op, C, V >::Equation(), binary_recursive_analytic_rep< Op, C, V >::Eval(), binary_recursive_analytic_rep< Op, C, V >::Expand(), binary_recursive_analytic_rep< Op, C, V >::expression(), binary_recursive_analytic_rep< Op, C, V >::Initial(), and binary_recursive_analytic_rep< Op, C, V >::Move().

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