MC++
TVar< T > Class Template Reference

C++ class for Taylor model computation of factorable function - Taylor model propagation. More...

#include <~tmodel.hpp>

List of all members.

Public Member Functions

 TVar (const double d=0.)
 Constructor of Taylor variable for a real scalar.
 TVar (const T &B)
 Constructor of Taylor variable for a remainder bound.
 TVar (TModel< T > *TM, const unsigned int ix, const T &X, const double Xref)
 Constructor of Taylor variable with index ix (starting from 0), bounded by X, and with reference point Xref
 TVar (TModel< T > *TM, const unsigned int ix, const T &X)
 Constructor of Taylor variable with index ix (starting from 0), bounded by X, and with reference point at mid-point Op<T>::mid(X)
 TVar (const TVar< T > &TV)
 Copy constructor of Taylor variable.
template<typename U >
 TVar (TModel< T > *&TM, const TVar< U > &TV)
 Copy constructor of Taylor variable in different Taylor model environment (with implicit type conversion)
template<typename U >
 TVar (TModel< T > *&TM, const TVar< U > &TV, const T &(U::*method)() const )
 Copy constructor of Taylor variable in different Taylor model environment (with explicit type conversion as given by class member function method)
template<typename U >
 TVar (TModel< T > *&TM, const TVar< U > &TV, T(*method)(const U &))
 Copy constructor of Taylor variable in different Taylor model environment (with explicit type conversion as given by non-class member function method)
 ~TVar ()
 Destructor of Taylor variable.
TVar< T > & set (TModel< T > *TM, const unsigned int ix, const T &X)
 Set Taylor variable with index ix (starting from 0), bounded by X, and with reference point at mid-point Op<T>::mid(X)
TVar< T > & set (TModel< T > *TM, const unsigned int ix, const T &X, const double Xref)
 Set Taylor variable with index ix (starting from 0), bounded by X, and with reference point Xref
TVar< T > & set (TModel< T > *env)
 Set Taylor model environment in Taylor variable to env
TVar< T > & set (const double *coefmon)
 Set multivariate polynomial coefficients in Taylor variable to coefmon
TVar< T > & set (std::pair< unsigned int, const double * > coefmon)
 Set multivariate polynomial coefficients in Taylor variable to coefmon - only first coefmon.first coefficients are set.
TVar< T > & set (const T &bndrem)
 Set remainder term in Taylor variable to bndrem
TVar< T > & set (TVar< T > &TV, const bool reset=true)
 Set multivariate polynomial coefficients and remainder term to those of Taylor variable TV, possibly defined in another Taylor model environment with less variables and a lower expansion order. Coefficients involving other variables or higher order are initialized to 0 if reset=true (default), otherwise they are left unmodified. Caution has to be taken when the Taylor models are scaled (see option mc::TModel::Options::SCALE_VARIABLES) since the polynomial coefficients are then scaled.
TVar< T > & get (TVar< T > &TV, const bool reset=false)
 Copy multivariate polynomial coefficients from current Taylor variable into Taylor variable TV, possibly defined in another Taylor model environment with less variables and a lower expansion order. Copied coefficients are reset to 0 in current Taylor variable if reset=true, otherwise they are left unmodified (default). Caution has to be taken when the Taylor models are scaled (see option mc::TModel::Options::SCALE_VARIABLES) since the polynomial coefficients are then scaled.
TModel< T > * env () const
 Get pointer to Taylor model environment.
bound (const unsigned int iord) const
 Compute bound on all terms of (total) order iord in Taylor variable.
bound () const
 Compute bound on Taylor variable (see option mc::TModel::Options::BOUNDER_TYPE)
const T & boundT () const
 Return reference to variable bound in template parameter arithmetic.
remainder () const
 Return remainder term of Taylor variable.
TVar< T > & center ()
 Center remainder term of Taylor variable.
TVar< T > polynomial () const
 Return new Taylor variable with same multivariate polynomial part and zero remainder.
double polynomial (const double *x) const
 Evaluate polynomial part at x
B (const unsigned int iord) const
 Shortcut to mc::TVar::bound.
B () const
 Shortcut to mc::TVar::bound.
R () const
 Shortcut to mc::TVar::remainder.
TVar< T > & C ()
 Shortcut to mc::TVar::center.
TVar< T > P () const
 Shortcut to mc::TVar::polynomial.
double P (const double *x) const
 Shortcut to mc::TVar::polynomial.
double * reference () const
 Get pointer to array of size nvar with references for all variables.
double constant () const
 Get coefficient of constant term in Taylor variable.
double * linear () const
 Get pointer to array of size nvar with coefficients of linear term in Taylor variable.
double linear (const unsigned int ivar, const bool reset=false)
 Get coefficients of linear term for variable ivar in Taylor variable. The value of this coefficient is reset to 0 if reset=true, otherwise it is left unmodified (default).
double coefmon (const unsigned int *iexp) const
 Get (possibly scaled) coefficient in monomial term with variable exponents as given in iexp
std::pair< unsigned int, const
double * > 
coefmon () const
 Get pair of size of, and const pointer to, array of (possibly scaled) monomial coefficients in multivariate polynomial of Taylor variable.
std::pair< unsigned int, const
unsigned int * > 
expmon () const
 Get pair of size of, and const pointer to, array of monomial exponents in multivariate polynomial of Taylor variable.

Friends

class TVar

Detailed Description

template<typename T>
class TVar< T >

mc::TVar is a C++ class for propagation of Taylor models through factorable functions. The template parameter corresponds to the type used in computing the remainder bound.


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