MC++
Taylor Model Arithmetic for Factorable Functions

Classes

class  mc::TModel< T >::Exceptions
 Exceptions of mc::TModel. More...
 
struct  mc::TModel< T >::Options
 Options of mc::TModel. More...
 

Functions

 mc::TModel< T >::TModel (const unsigned int nvar, const unsigned int nord)
 Constructor of Taylor model environment for nvar variables and order nord
 
 mc::TModel< T >::~TModel ()
 Destructor of Taylor model environment.
 
const T * mc::TModel< T >::bndmon () const
 Const pointer to array of size nmon() with bounds on each monomial term in Taylor model.
 
const unsigned int *const * mc::TModel< T >::prodmon () const
 Const pointer to double array of size (_nmon+1,<=_nmon) with indices of monomial terms from product of two monomial terms imon=1,...,_nmon and jmon=1,...,_nmon in Taylor model.
 
const double * mc::TModel< T >::reference () const
 Get const pointer to array of size nvar with references for all variables in Taylor model.
 
const double * mc::TModel< T >::scaling () const
 Get const pointer to array of size nvar with scaling coefficients in Taylor model.
 
void mc::TModel< T >::reset ()
 Reset the bounds on powers of (possibly scaled) variable ranges.
 
TModel< T > * mc::TVar< T >::env () const
 Get pointer to linked Taylor model environment.
 
 mc::TVar< T >::TVar (const double d=0.)
 Constructor of Taylor variable for a real scalar.
 
 mc::TVar< T >::TVar (const T &B)
 Constructor of Taylor variable for a remainder bound.
 
 mc::TVar< T >::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
 
 mc::TVar< T >::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)
 
template<typename U >
 mc::TVar< T >::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 >
 mc::TVar< T >::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 >
 mc::TVar< T >::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)
 
 mc::TVar< T >::TVar (const TVar< T > &TV)
 Copy constructor of Taylor variable.
 
 mc::TVar< T >::~TVar ()
 Destructor of Taylor variable.
 
TVar< T > & mc::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, in Taylor model environment TM
 
TVar< T > & mc::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(X), in Taylor model environment TM
 
TVar< T > & mc::TVar< T >::set (TModel< T > *TM)
 Set polynomial model environment in variable as env
 
double mc::TVar< T >::polynomial (const double *x) const
 Evaluate polynomial part at x
 
double mc::TVar< T >::P (const double *x) const
 Shortcut to mc::TVar::polynomial.
 
TVar< T > mc::TVar< T >::polynomial () const
 Return new Taylor variable with same multivariate polynomial part but zero remainder.
 
TVar< T > mc::TVar< T >::P () const
 Shortcut to mc::TVar::polynomial.
 
TVar< T > & mc::TVar< T >::center ()
 Center remainder term of Taylor variable.
 
TVar< T > & mc::TVar< T >::C ()
 Shortcut to mc::TVar::center.
 
double mc::TVar< T >::constant (const bool reset=false)
 Get coefficient of constant term in Taylor variable. The value of this coefficient is reset to 0 if reset=true, otherwise it is left unmodified (default).
 
double * mc::TVar< T >::linear () const
 Get pointer to array of size nvar with coefficients of linear term in Taylor variable.
 
double mc::TVar< T >::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).
 

Detailed Description