CAPD DynSys Library  5.2.0
capd::poincare::SectionDerivativesEnclosure< MatrixT > Struct Template Reference

#include <capd/poincare/SectionDerivativesEnclosure.h>

Public Types

typedef MatrixT MatrixType
 
typedef MatrixType::RowVectorType VectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef VectorType::size_type size_type
 integral type used to index containers (vectors, matrices, etc) More...
 
typedef capd::dynset::AbstractSet< VectorTypeSet
 type of abstract base class for all sets More...
 
typedef capd::diffAlgebra::Hessian< ScalarType, VectorType::csDim, VectorType::csDim > HessianType
 
typedef capd::diffAlgebra::Jet< MatrixT, 0 > JetType
 
typedef capd::dynset::C0Set< MatrixTypeC0Set
 type of abstract base class for all C0 sets More...
 
typedef capd::dynset::C1Set< MatrixTypeC1Set
 type of abstract base class for all C1 sets More...
 
typedef capd::dynset::C2Set< MatrixTypeC2Set
 type of abstract base class for all C2 sets More...
 
typedef capd::dynset::CnSet< MatrixType, 0 > CnSet
 type of abstract base class for all C2 sets More...
 

Public Member Functions

template<class Pointer , class Value >
void checkAndAssignPointer (Pointer &p, const Value &v)
 
void saveTime (capd::diffAlgebra::TimeRange< ScalarType > &t)
 
void saveEnclosure (C0Set &set)
 
void saveEnclosure (C1Set &set)
 
void saveEnclosure (C2Set &set)
 
void saveEnclosure (CnSet &set)
 
void updateTime (capd::diffAlgebra::TimeRange< ScalarType > &t)
 
void updateEnclosure (C0Set &, C0Set &next)
 
void updateEnclosure (C1Set &prev, C1Set &next)
 
void updateEnclosure (C2Set &prev, C2Set &next)
 
void updateEnclosure (CnSet &prev, CnSet &next)
 
template<class SetT , class SolverT >
void computeOneStepSectionEnclosure (SetT &set, SolverT &solver, VectorType &bound, ScalarType oneStepReturnTime)
 
void init (ScalarType *rt, MatrixType *der, HessianType *hess, JetType *jet)
 

Public Attributes

ScalarTypereturnTime
 
MatrixTypederivativeOfFlow
 stores derivative of the flow (if needed) More...
 
HessianTypehessianOfFlow
 stores hessian of the flow (if needed) More...
 
JetTypejetOfFlow
 stores derivative of the flow (for C^n sets only) More...
 

Member Typedef Documentation

◆ C0Set

type of abstract base class for all C0 sets

◆ C1Set

type of abstract base class for all C1 sets

◆ C2Set

type of abstract base class for all C2 sets

◆ CnSet

template<class MatrixT >
typedef capd::dynset::CnSet<MatrixType,0> capd::poincare::SectionDerivativesEnclosure< MatrixT >::CnSet

type of abstract base class for all C2 sets

◆ HessianType

template<class MatrixT >
typedef capd::diffAlgebra::Hessian<ScalarType,VectorType::csDim,VectorType::csDim> capd::poincare::SectionDerivativesEnclosure< MatrixT >::HessianType

◆ JetType

template<class MatrixT >
typedef capd::diffAlgebra::Jet<MatrixT,0> capd::poincare::SectionDerivativesEnclosure< MatrixT >::JetType

◆ MatrixType

template<class MatrixT >
typedef MatrixT capd::poincare::SectionDerivativesEnclosure< MatrixT >::MatrixType

◆ ScalarType

template<class MatrixT >
typedef MatrixType::ScalarType capd::poincare::SectionDerivativesEnclosure< MatrixT >::ScalarType

◆ Set

type of abstract base class for all sets

◆ size_type

template<class MatrixT >
typedef VectorType::size_type capd::poincare::SectionDerivativesEnclosure< MatrixT >::size_type

integral type used to index containers (vectors, matrices, etc)

◆ VectorType

template<class MatrixT >
typedef MatrixType::RowVectorType capd::poincare::SectionDerivativesEnclosure< MatrixT >::VectorType

Member Function Documentation

◆ checkAndAssignPointer()

template<class MatrixT >
template<class Pointer , class Value >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::checkAndAssignPointer ( Pointer &  p,
const Value &  v 
)
inline

◆ computeOneStepSectionEnclosure()

template<class MatrixT >
template<class SetT , class SolverT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::computeOneStepSectionEnclosure ( SetT &  set,
SolverT &  solver,
VectorType bound,
ScalarType  oneStepReturnTime 
)
inline

◆ init()

template<class MatrixT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::init ( ScalarType rt,
MatrixType der,
HessianType hess,
JetType jet 
)
inline

◆ saveEnclosure() [1/4]

template<class MatrixT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::saveEnclosure ( C0Set set)
inline

◆ saveEnclosure() [2/4]

template<class MatrixT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::saveEnclosure ( C1Set set)
inline

◆ saveEnclosure() [3/4]

template<class MatrixT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::saveEnclosure ( C2Set set)
inline

◆ saveEnclosure() [4/4]

template<class MatrixT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::saveEnclosure ( CnSet set)
inline

◆ saveTime()

template<class MatrixT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::saveTime ( capd::diffAlgebra::TimeRange< ScalarType > &  t)
inline

◆ updateEnclosure()

template<class MatrixT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::updateEnclosure ( C0Set ,
C0Set next 
)
inline

◆ updateTime()

template<class MatrixT >
void capd::poincare::SectionDerivativesEnclosure< MatrixT >::updateTime ( capd::diffAlgebra::TimeRange< ScalarType > &  t)
inline

Member Data Documentation

◆ derivativeOfFlow

template<class MatrixT >
MatrixType* capd::poincare::SectionDerivativesEnclosure< MatrixT >::derivativeOfFlow

stores derivative of the flow (if needed)

◆ hessianOfFlow

template<class MatrixT >
HessianType* capd::poincare::SectionDerivativesEnclosure< MatrixT >::hessianOfFlow

stores hessian of the flow (if needed)

◆ jetOfFlow

template<class MatrixT >
JetType* capd::poincare::SectionDerivativesEnclosure< MatrixT >::jetOfFlow

stores derivative of the flow (for C^n sets only)

◆ returnTime

template<class MatrixT >
ScalarType* capd::poincare::SectionDerivativesEnclosure< MatrixT >::returnTime