CAPD DynSys Library  5.2.0
Public Types | Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
capd::dynset::C2Set< MatrixT > Class Template Referenceabstract
Dynset

Common interface of all sets that store C2 information (set position and first and second derivatives) More...

#include <capd/dynset/C2Set.h>

Public Types

typedef MatrixT MatrixType
 
typedef MatrixType::RowVectorType VectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef MatrixType::size_type size_type
 
typedef capd::diffAlgebra::Hessian< ScalarType, VectorType::csDim, VectorType::csDim > HessianType
 
typedef C2Set SetType
 
typedef capd::dynsys::C2DynSys< MatrixType > DynSysType
 

Public Member Functions

 C2Set (const VectorType &x, const VectorType &enc, const MatrixType &M, const MatrixType &mEnc, const HessianType &h, const HessianType &hEnc, const ScalarType &t)
 constructor, initializes default enclosures and initial time More...
 
virtual ~C2Set ()
 
virtual void move (DynSysType &c2dynsys)=0
 
virtual const ScalarType & operator() (size_type i, size_type j, size_type c) const
 
virtual VectorType operator() (size_type j, size_type c) const
 
virtual MatrixType operator() (size_type i)
 
const ScalarType getCurrentTime () const
 
ScalarType & refCurrentTime ()
 
void setCurrentTime (const ScalarType &t)
 
const HessianType & getLastHessianEnclosure () const
 
virtual operator HessianType () const
 returns an enclosure of second order derivative in the canonical coordinates More...
 
const MatrixT & getLastMatrixEnclosure () const
 
virtual operator MatrixT () const
 returns an enclosure of derivative in the canonical coordinates More...
 
const MatrixT::RowVectorType & getLastEnclosure () const
 
virtual operator MatrixT::RowVectorType () const
 returns an enclosure of the set in the canonical coordinates More...
 
void setCurrentSet (const MatrixT::RowVectorType &x)
 
ScalarType evalAt (const Functional &f) const
 This method computes value of functor f at interval vector represented by this set. More...
 
virtual operator VectorType () const=0
 
virtual std::string show () const=0
 returns a set detailed information More...
 

Static Public Member Functions

const static size_type degree ()
 

Protected Member Functions

void setLastHessianEnclosure (const HessianType &h)
 
void setLastMatrixEnclosure (const MatrixT &M)
 
void setLastEnclosure (const MatrixT::RowVectorType &enc)
 

Protected Attributes

ScalarType m_currentTime
 
HessianType m_currentHessian
 
HessianType m_lastHessianEnclosure
 
MatrixT m_currentMatrix
 
MatrixT m_lastMatrixEnclosure
 
MatrixT::RowVectorType m_currentSet
 
MatrixT::RowVectorType m_lastEnclosure
 

Detailed Description

template<typename MatrixT>
class capd::dynset::C2Set< MatrixT >

Common interface of all sets that store C2 information (set position and first and second derivatives)

Member Typedef Documentation

◆ DynSysType

template<typename MatrixT >
typedef capd::dynsys::C2DynSys<MatrixType> capd::dynset::C2Set< MatrixT >::DynSysType

◆ HessianType

template<typename MatrixT >
typedef capd::diffAlgebra::Hessian<ScalarType,VectorType::csDim,VectorType::csDim> capd::dynset::C2Set< MatrixT >::HessianType

◆ MatrixType

template<typename MatrixT >
typedef MatrixT capd::dynset::C2Set< MatrixT >::MatrixType

◆ ScalarType

template<typename MatrixT >
typedef MatrixType::ScalarType capd::dynset::C2Set< MatrixT >::ScalarType

◆ SetType

template<typename MatrixT >
typedef C2Set capd::dynset::C2Set< MatrixT >::SetType

◆ size_type

template<typename MatrixT >
typedef MatrixType::size_type capd::dynset::C2Set< MatrixT >::size_type

◆ VectorType

template<typename MatrixT >
typedef MatrixType::RowVectorType capd::dynset::C2Set< MatrixT >::VectorType

Constructor & Destructor Documentation

◆ C2Set()

template<typename MatrixT >
capd::dynset::C2Set< MatrixT >::C2Set ( const VectorType &  x,
const VectorType &  enc,
const MatrixType &  M,
const MatrixType &  mEnc,
const HessianType &  h,
const HessianType &  hEnc,
const ScalarType &  t 
)
inline

constructor, initializes default enclosures and initial time

◆ ~C2Set()

template<typename MatrixT >
virtual capd::dynset::C2Set< MatrixT >::~C2Set ( )
inlinevirtual

Member Function Documentation

◆ degree()

template<typename MatrixT >
const static size_type capd::dynset::C2Set< MatrixT >::degree ( )
inlinestatic

◆ evalAt()

ScalarType capd::dynset::AbstractSet< MatrixT::RowVectorType >::evalAt ( const Functional &  f) const
inlineinherited

This method computes value of functor f at interval vector represented by this set.

◆ getCurrentTime()

const ScalarType capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::getCurrentTime ( ) const
inlineinherited

◆ getLastEnclosure()

const MatrixT::RowVectorType & capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::getLastEnclosure ( ) const
inlineinherited

◆ getLastHessianEnclosure()

template<class MatrixT >
const HessianType& capd::dynset::C2EnclosureHolder< MatrixT >::getLastHessianEnclosure ( ) const
inlineinherited

◆ getLastMatrixEnclosure()

template<class MatrixT >
const MatrixT& capd::dynset::C1EnclosureHolder< MatrixT >::getLastMatrixEnclosure ( ) const
inlineinherited

◆ move()

template<typename MatrixT >
virtual void capd::dynset::C2Set< MatrixT >::move ( DynSysType &  c2dynsys)
pure virtual

Implemented in capd::dynset::C2DoubletonSet< MatrixT, Policies >.

◆ operator HessianType()

template<class MatrixT >
virtual capd::dynset::C2EnclosureHolder< MatrixT >::operator HessianType ( ) const
inlinevirtualinherited

returns an enclosure of second order derivative in the canonical coordinates

◆ operator MatrixT()

template<class MatrixT >
virtual capd::dynset::C1EnclosureHolder< MatrixT >::operator MatrixT ( ) const
inlinevirtualinherited

returns an enclosure of derivative in the canonical coordinates

◆ operator MatrixT::RowVectorType()

virtual capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::operator MatrixT::RowVectorType ( ) const
inlinevirtualinherited

returns an enclosure of the set in the canonical coordinates

◆ operator VectorType()

virtual capd::dynset::AbstractSet< MatrixT::RowVectorType >::operator VectorType ( ) const
pure virtualinherited

Implemented in capd::dynset::CnSet< MatrixT, 0 >.

◆ operator()() [1/3]

template<typename MatrixT >
virtual MatrixType capd::dynset::C2Set< MatrixT >::operator() ( size_type  i)
inlinevirtual

◆ operator()() [2/3]

template<typename MatrixT >
virtual const ScalarType& capd::dynset::C2Set< MatrixT >::operator() ( size_type  i,
size_type  j,
size_type  c 
) const
inlinevirtual

◆ operator()() [3/3]

template<typename MatrixT >
virtual VectorType capd::dynset::C2Set< MatrixT >::operator() ( size_type  j,
size_type  c 
) const
inlinevirtual

◆ refCurrentTime()

ScalarType& capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::refCurrentTime ( )
inlineinherited

◆ setCurrentSet()

void capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::setCurrentSet ( const VectorT &  x)
inlineinherited

◆ setCurrentTime()

void capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::setCurrentTime ( const ScalarType &  t)
inlineinherited

◆ setLastEnclosure()

void capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::setLastEnclosure ( const VectorT &  enc)
inlineprotectedinherited

◆ setLastHessianEnclosure()

template<class MatrixT >
void capd::dynset::C2EnclosureHolder< MatrixT >::setLastHessianEnclosure ( const HessianType &  h)
inlineprotectedinherited

◆ setLastMatrixEnclosure()

template<class MatrixT >
void capd::dynset::C1EnclosureHolder< MatrixT >::setLastMatrixEnclosure ( const MatrixT &  M)
inlineprotectedinherited

◆ show()

virtual std::string capd::dynset::AbstractSet< MatrixT::RowVectorType >::show ( ) const
pure virtualinherited

returns a set detailed information

Implemented in capd::dynset::C2DoubletonSet< MatrixT, Policies >, capd::dynset::C1GraphicalSet< MatrixT, OutputClass >, capd::dynset::C0BallSet< MatrixT >, capd::dynset::C11Rect2< MatrixT, QRPolicy >, capd::dynset::C0FlowballSet< MatrixT >, capd::dynset::C1DoubletonSet< MatrixT, C11Rect2Policies >, and capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >.

Member Data Documentation

◆ m_currentHessian

template<class MatrixT >
HessianType capd::dynset::C2EnclosureHolder< MatrixT >::m_currentHessian
protectedinherited

◆ m_currentMatrix

template<class MatrixT >
MatrixT capd::dynset::C1EnclosureHolder< MatrixT >::m_currentMatrix
protectedinherited

◆ m_currentSet

MatrixT::RowVectorType capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::m_currentSet
protectedinherited

◆ m_currentTime

ScalarType capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::m_currentTime
protectedinherited

◆ m_lastEnclosure

MatrixT::RowVectorType capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::m_lastEnclosure
protectedinherited

◆ m_lastHessianEnclosure

template<class MatrixT >
HessianType capd::dynset::C2EnclosureHolder< MatrixT >::m_lastHessianEnclosure
protectedinherited

◆ m_lastMatrixEnclosure

template<class MatrixT >
MatrixT capd::dynset::C1EnclosureHolder< MatrixT >::m_lastMatrixEnclosure
protectedinherited