CAPD DynSys Library 5.2.0
capd::dynset::C1EnclosureHolder< MatrixT > Class Template Referenceabstract

#include <capd/dynset/EnclosureHolder.h>

Public Types

typedef MatrixT::RowVectorType VectorType
 
typedef VectorType::ScalarType ScalarType
 

Public Member Functions

 C1EnclosureHolder (const VectorType &x, const VectorType &enc, const MatrixT &M, const MatrixT &mEnc)
 
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...
 

Protected Member Functions

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

Protected Attributes

MatrixT m_currentMatrix
 
MatrixT m_lastMatrixEnclosure
 
MatrixT::RowVectorType m_currentSet
 
MatrixT::RowVectorType m_lastEnclosure
 

Member Typedef Documentation

◆ ScalarType

typedef VectorType::ScalarType capd::dynset::AbstractSet< MatrixT::RowVectorType >::ScalarType
inherited

◆ VectorType

template<class MatrixT >
typedef MatrixT::RowVectorType capd::dynset::C1EnclosureHolder< MatrixT >::VectorType

Constructor & Destructor Documentation

◆ C1EnclosureHolder()

template<class MatrixT >
capd::dynset::C1EnclosureHolder< MatrixT >::C1EnclosureHolder ( const VectorType x,
const VectorType enc,
const MatrixT &  M,
const MatrixT &  mEnc 
)
inline

Member Function Documentation

◆ 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.

◆ getLastEnclosure()

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

◆ getLastMatrixEnclosure()

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

◆ operator MatrixT()

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

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()

◆ setCurrentSet()

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

◆ setLastEnclosure()

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

◆ setLastMatrixEnclosure()

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

◆ show()

Member Data Documentation

◆ m_currentMatrix

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

◆ m_currentSet

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

◆ m_lastEnclosure

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

◆ m_lastMatrixEnclosure

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