CAPD DynSys Library  5.2.0
capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT > Struct Template Reference

#include <capd/pdes/PdeSectionDerivativesEnclosure.h>

Public Types

typedef MatrixT MatrixType
 
typedef VectorT VectorType
 
typedef MatrixType::RowVectorType FiniteVectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef VectorType::size_type size_type
 integral type used to index containers (vectors, matrices, etc) More...
 
typedef capd::dynset::AbstractSet< FiniteVectorTypeSet
 type of abstract base class for all sets More...
 
typedef capd::diffAlgebra::Hessian< ScalarType, FiniteVectorType::csDim, FiniteVectorType::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...
 

Public Member Functions

void saveTime (capd::diffAlgebra::TimeRange< ScalarType > &t)
 
void updateTime (capd::diffAlgebra::TimeRange< ScalarType > &t)
 
template<class SetT >
void saveEnclosure (SetT &set)
 
template<class SetT >
void updateEnclosure (SetT &prev, SetT &next)
 
template<class SetT , class SolverT >
void computeOneStepSectionEnclosure (SetT &set, SolverT &solver, VectorType &bound, ScalarType oneStepReturnTime)
 
void init (ScalarType *rt, MatrixType *der, HessianType *H, JetType *jet)
 

Public Attributes

ScalarTypereturnTime
 
MatrixTypederivativeOfFlow
 stores derivative of the flow (if needed) More...
 
FiniteVectorType encDy
 stores norm of block Vxy and Vyy of derivativeOfFlow More...
 
ScalarType encDyx
 stores norm of block Vyx of derivativeOfFlow More...
 

Member Typedef Documentation

◆ C0Set

template<class VectorT , class MatrixT >
typedef capd::dynset::C0Set<MatrixType> capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::C0Set

type of abstract base class for all C0 sets

◆ C1Set

template<class VectorT , class MatrixT >
typedef capd::dynset::C1Set<MatrixType> capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::C1Set

type of abstract base class for all C1 sets

◆ FiniteVectorType

template<class VectorT , class MatrixT >
typedef MatrixType::RowVectorType capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::FiniteVectorType

◆ HessianType

template<class VectorT , class MatrixT >
typedef capd::diffAlgebra::Hessian<ScalarType,FiniteVectorType::csDim,FiniteVectorType::csDim> capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::HessianType

◆ JetType

template<class VectorT , class MatrixT >
typedef capd::diffAlgebra::Jet<MatrixT,0> capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::JetType

◆ MatrixType

template<class VectorT , class MatrixT >
typedef MatrixT capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::MatrixType

◆ ScalarType

template<class VectorT , class MatrixT >
typedef MatrixType::ScalarType capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::ScalarType

◆ Set

template<class VectorT , class MatrixT >
typedef capd::dynset::AbstractSet<FiniteVectorType> capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::Set

type of abstract base class for all sets

◆ size_type

template<class VectorT , class MatrixT >
typedef VectorType::size_type capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::size_type

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

◆ VectorType

template<class VectorT , class MatrixT >
typedef VectorT capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::VectorType

Member Function Documentation

◆ computeOneStepSectionEnclosure()

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

◆ init()

template<class VectorT , class MatrixT >
void capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::init ( ScalarType rt,
MatrixType der,
HessianType H,
JetType jet 
)
inline

◆ saveEnclosure()

template<class VectorT , class MatrixT >
template<class SetT >
void capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::saveEnclosure ( SetT &  set)
inline

◆ saveTime()

template<class VectorT , class MatrixT >
void capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::saveTime ( capd::diffAlgebra::TimeRange< ScalarType > &  t)
inline

◆ updateEnclosure()

template<class VectorT , class MatrixT >
template<class SetT >
void capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::updateEnclosure ( SetT &  prev,
SetT &  next 
)
inline

◆ updateTime()

template<class VectorT , class MatrixT >
void capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::updateTime ( capd::diffAlgebra::TimeRange< ScalarType > &  t)
inline

Member Data Documentation

◆ derivativeOfFlow

template<class VectorT , class MatrixT >
MatrixType* capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::derivativeOfFlow

stores derivative of the flow (if needed)

◆ encDy

template<class VectorT , class MatrixT >
FiniteVectorType capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::encDy

stores norm of block Vxy and Vyy of derivativeOfFlow

◆ encDyx

template<class VectorT , class MatrixT >
ScalarType capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::encDyx

stores norm of block Vyx of derivativeOfFlow

◆ returnTime

template<class VectorT , class MatrixT >
ScalarType* capd::pdes::PdeSectionDerivativesEnclosure< VectorT, MatrixT >::returnTime