Public Types | Public Member Functions | Public Attributes
TaylorModel< T >::Options Struct Reference

Taylor model options. More...

#include <taylor_model.hpp>

List of all members.

Public Types

enum  BOUNDER { NAIVE = 0, LSB, EIGEN, HYBRID }
 Taylor model range bounders. More...

Public Member Functions

template<typename U >
Optionsoperator= (U &_options)
 Options ()
 Constructor.
template<typename U >
 Options (U &_options)
 Copy constructor.

Public Attributes

int BOUNDER_TYPE
 Flag indicating the Taylor model range bounder.
bool CENTER_REMAINDER
 Flag indicating whether the remainder term is to be centered after each operation.
bool INTER_WITH_BNDT
 Flag indicating whether interval bound for the Taylor model and T arithmetic are to be intersected.
bool PROPAGATE_BNDT
 Flag indicating whether interval bound are to be propagated in T arithmetic.
bool REF_MIDPOINT
 Flag indicating whether the reference in Taylor expansion of univariate function is taken as the mid-point of the inner Taylor model (true) or the constant term in the centered inner Taylor model (false)
bool SCALE_VARIABLES
 Flag indicating whether the variables are to be scaled to [-1,1] internally -- this requires proper intervals!

Detailed Description

template<typename T>
struct TaylorModel< T >::Options

Taylor model options.

Definition at line 106 of file taylor_model.hpp.


Member Enumeration Documentation

template<typename T>
enum TaylorModel::Options::BOUNDER

Taylor model range bounders.

Enumerator:
NAIVE 

Naive polynomial range bounder.

LSB 

Lin & Stadtherr range bounder.

EIGEN 

Eigenvalue decomposition-based bounder.

HYBRID 

Hybrid LSB + EIGEN range bounder.

Definition at line 134 of file taylor_model.hpp.


Constructor & Destructor Documentation

template<typename T>
TaylorModel< T >::Options::Options ( ) [inline]

Constructor.

Definition at line 109 of file taylor_model.hpp.

template<typename T>
template<typename U >
TaylorModel< T >::Options::Options ( U _options) [inline]

Copy constructor.

Definition at line 115 of file taylor_model.hpp.


Member Function Documentation

template<typename T>
template<typename U >
Options& TaylorModel< T >::Options::operator= ( U _options) [inline]

Definition at line 124 of file taylor_model.hpp.


Member Data Documentation

template<typename T>
int TaylorModel< T >::Options::BOUNDER_TYPE

Flag indicating the Taylor model range bounder.

Definition at line 141 of file taylor_model.hpp.

template<typename T>
bool TaylorModel< T >::Options::CENTER_REMAINDER

Flag indicating whether the remainder term is to be centered after each operation.

Definition at line 149 of file taylor_model.hpp.

template<typename T>
bool TaylorModel< T >::Options::INTER_WITH_BNDT

Flag indicating whether interval bound for the Taylor model and T arithmetic are to be intersected.

Definition at line 145 of file taylor_model.hpp.

template<typename T>
bool TaylorModel< T >::Options::PROPAGATE_BNDT

Flag indicating whether interval bound are to be propagated in T arithmetic.

Definition at line 143 of file taylor_model.hpp.

template<typename T>
bool TaylorModel< T >::Options::REF_MIDPOINT

Flag indicating whether the reference in Taylor expansion of univariate function is taken as the mid-point of the inner Taylor model (true) or the constant term in the centered inner Taylor model (false)

Definition at line 151 of file taylor_model.hpp.

template<typename T>
bool TaylorModel< T >::Options::SCALE_VARIABLES

Flag indicating whether the variables are to be scaled to [-1,1] internally -- this requires proper intervals!

Definition at line 147 of file taylor_model.hpp.


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


acado
Author(s): Milan Vukov, Rien Quirynen
autogenerated on Sat Jun 8 2019 19:40:26