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

Common interface of all sets that store Cn information (set position and derivatives to order n) More...

#include <capd/dynset/CnSet.h>

Public Types

typedef MatrixT MatrixType
 
typedef MatrixType::RowVectorType VectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef MatrixType::RefColumnVectorType RefVectorType
 
typedef MatrixType::size_type size_type
 
typedef capd::vectalg::Multipointer Multipointer
 
typedef capd::vectalg::Multiindex Multiindex
 
typedef capd::diffAlgebra::Jet< MatrixType, DEGREE > JetType
 
typedef CnSet SetType
 

Public Member Functions

 CnSet (const VectorType &x, size_type degree, ScalarType t)
 
 CnSet (const JetType &x, ScalarType t)
 
size_type degree () const
 returns maximal order of partial derivative stored in the jet More...
 
size_type dimension () const
 returns number of variables in the jet More...
 
ScalarType maxDiam () const
 returns actual maximal diameter of the current set More...
 
const JetType & currentSet () const
 returns actual set as a read-only jet. More...
 
JetType & currentSet ()
 returns actual set as a jet More...
 
RefVectorType getLastEnclosure () const
 returns an enclosure for trajectories for last performed step of integration. On initialization is equal to the current set. More...
 
MatrixType getLastMatrixEnclosure () const
 returns an enclosure for first order variational equations for last performed step of integration. On initialization is equal to the current derivatives set. More...
 
virtual const JetType & getLastJetEnclosure () const
 returns jet of enclosures computed in the last performed step of integration. More...
 
virtual void setLastJetEnclosure (const JetType &enc)
 
 operator VectorType () const
 returns actual value of function represented by jet More...
 
 operator MatrixType () const
 returns actual derivative of function represented by jet More...
 
const ScalarType & operator() (size_type i, const Multipointer &mp) const
 returns a Taylor coefficients corresponding to multipointer, (1/mp!)d^{mp}f_i More...
 
const ScalarType & operator() (size_type i, const Multiindex &mp) const
 returns a Taylor coefficients corresponding to multiindex, (1/mp!)d^{mp}f_i More...
 
RefVectorType operator() (const Multipointer &mp) const
 returns vector of Taylor coefficients corresponding to multipointer, i.e. result[i] = (1/mp!)d^{mp}f More...
 
const ScalarType & operator() (size_type i, size_type j, size_type c) const
 returns Taylor coefficient corresponding to partial derivative d^2f_i/dx_jdx_c More...
 
const ScalarType & operator() (size_type j, size_type c) const
 returns df_j/dx_c More...
 
const ScalarType & operator() (size_type i) const
 returns actual value of f_i More...
 
virtual ~CnSet ()
 
const ScalarType getCurrentTime () const
 
ScalarType & refCurrentTime ()
 
void setCurrentTime (const ScalarType &t)
 
ScalarType evalAt (const Functional &f) const
 This method computes value of functor f at interval vector represented by this set. More...
 
virtual std::string show () const=0
 returns a set detailed information More...
 

Protected Attributes

JetType m_currentSet
 
JetType m_lastEnclosure
 
ScalarType m_currentTime
 

Detailed Description

template<typename MatrixT, __size_type DEGREE = 0>
class capd::dynset::CnSet< MatrixT, DEGREE >

Common interface of all sets that store Cn information (set position and derivatives to order n)

Member Typedef Documentation

◆ JetType

template<typename MatrixT , __size_type DEGREE = 0>
typedef capd::diffAlgebra::Jet<MatrixType,DEGREE> capd::dynset::CnSet< MatrixT, DEGREE >::JetType

◆ MatrixType

template<typename MatrixT , __size_type DEGREE = 0>
typedef MatrixT capd::dynset::CnSet< MatrixT, DEGREE >::MatrixType

◆ Multiindex

template<typename MatrixT , __size_type DEGREE = 0>
typedef capd::vectalg::Multiindex capd::dynset::CnSet< MatrixT, DEGREE >::Multiindex

◆ Multipointer

template<typename MatrixT , __size_type DEGREE = 0>
typedef capd::vectalg::Multipointer capd::dynset::CnSet< MatrixT, DEGREE >::Multipointer

◆ RefVectorType

template<typename MatrixT , __size_type DEGREE = 0>
typedef MatrixType::RefColumnVectorType capd::dynset::CnSet< MatrixT, DEGREE >::RefVectorType

◆ ScalarType

template<typename MatrixT , __size_type DEGREE = 0>
typedef MatrixType::ScalarType capd::dynset::CnSet< MatrixT, DEGREE >::ScalarType

◆ SetType

template<typename MatrixT , __size_type DEGREE = 0>
typedef CnSet capd::dynset::CnSet< MatrixT, DEGREE >::SetType

◆ size_type

template<typename MatrixT , __size_type DEGREE = 0>
typedef MatrixType::size_type capd::dynset::CnSet< MatrixT, DEGREE >::size_type

◆ VectorType

template<typename MatrixT , __size_type DEGREE = 0>
typedef MatrixType::RowVectorType capd::dynset::CnSet< MatrixT, DEGREE >::VectorType

Constructor & Destructor Documentation

◆ CnSet() [1/2]

template<typename MatrixT , __size_type DEGREE = 0>
capd::dynset::CnSet< MatrixT, DEGREE >::CnSet ( const VectorType &  x,
size_type  degree,
ScalarType  t 
)
inline

◆ CnSet() [2/2]

template<typename MatrixT , __size_type DEGREE = 0>
capd::dynset::CnSet< MatrixT, DEGREE >::CnSet ( const JetType &  x,
ScalarType  t 
)
inline

◆ ~CnSet()

template<typename MatrixT , __size_type DEGREE = 0>
virtual capd::dynset::CnSet< MatrixT, DEGREE >::~CnSet ( )
inlinevirtual

Member Function Documentation

◆ currentSet() [1/2]

template<typename MatrixT , __size_type DEGREE = 0>
JetType & capd::dynset::CnSet< MatrixT, DEGREE >::currentSet ( )
inline

returns actual set as a jet

◆ currentSet() [2/2]

template<typename MatrixT , __size_type DEGREE = 0>
const JetType & capd::dynset::CnSet< MatrixT, DEGREE >::currentSet ( ) const
inline

returns actual set as a read-only jet.

◆ degree()

template<typename MatrixT , __size_type DEGREE = 0>
size_type capd::dynset::CnSet< MatrixT, DEGREE >::degree ( ) const
inline

returns maximal order of partial derivative stored in the jet

◆ dimension()

template<typename MatrixT , __size_type DEGREE = 0>
size_type capd::dynset::CnSet< MatrixT, DEGREE >::dimension ( ) const
inline

returns number of variables in the jet

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

template<typename MatrixT , __size_type DEGREE = 0>
RefVectorType capd::dynset::CnSet< MatrixT, DEGREE >::getLastEnclosure ( ) const
inline

returns an enclosure for trajectories for last performed step of integration. On initialization is equal to the current set.

◆ getLastJetEnclosure()

template<typename MatrixT , __size_type DEGREE = 0>
virtual const JetType & capd::dynset::CnSet< MatrixT, DEGREE >::getLastJetEnclosure ( ) const
inlinevirtual

returns jet of enclosures computed in the last performed step of integration.

◆ getLastMatrixEnclosure()

template<typename MatrixT , __size_type DEGREE = 0>
MatrixType capd::dynset::CnSet< MatrixT, DEGREE >::getLastMatrixEnclosure ( ) const
inline

returns an enclosure for first order variational equations for last performed step of integration. On initialization is equal to the current derivatives set.

◆ maxDiam()

template<typename MatrixT , __size_type DEGREE = 0>
ScalarType capd::dynset::CnSet< MatrixT, DEGREE >::maxDiam ( ) const
inline

returns actual maximal diameter of the current set

◆ operator MatrixType()

template<typename MatrixT , __size_type DEGREE = 0>
capd::dynset::CnSet< MatrixT, DEGREE >::operator MatrixType ( ) const
inline

returns actual derivative of function represented by jet

◆ operator VectorType()

template<typename MatrixT , __size_type DEGREE = 0>
capd::dynset::CnSet< MatrixT, DEGREE >::operator VectorType ( ) const
inlinevirtual

returns actual value of function represented by jet

Implements capd::dynset::AbstractSet< MatrixT::RowVectorType >.

◆ operator()() [1/6]

template<typename MatrixT , __size_type DEGREE = 0>
RefVectorType capd::dynset::CnSet< MatrixT, DEGREE >::operator() ( const Multipointer &  mp) const
inline

returns vector of Taylor coefficients corresponding to multipointer, i.e. result[i] = (1/mp!)d^{mp}f

◆ operator()() [2/6]

template<typename MatrixT , __size_type DEGREE = 0>
const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator() ( size_type  i) const
inline

returns actual value of f_i

◆ operator()() [3/6]

template<typename MatrixT , __size_type DEGREE = 0>
const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator() ( size_type  i,
const Multiindex &  mp 
) const
inline

returns a Taylor coefficients corresponding to multiindex, (1/mp!)d^{mp}f_i

◆ operator()() [4/6]

template<typename MatrixT , __size_type DEGREE = 0>
const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator() ( size_type  i,
const Multipointer &  mp 
) const
inline

returns a Taylor coefficients corresponding to multipointer, (1/mp!)d^{mp}f_i

◆ operator()() [5/6]

template<typename MatrixT , __size_type DEGREE = 0>
const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator() ( size_type  i,
size_type  j,
size_type  c 
) const
inline

returns Taylor coefficient corresponding to partial derivative d^2f_i/dx_jdx_c

◆ operator()() [6/6]

template<typename MatrixT , __size_type DEGREE = 0>
const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator() ( size_type  j,
size_type  c 
) const
inline

returns df_j/dx_c

◆ refCurrentTime()

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

◆ setCurrentTime()

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

◆ setLastJetEnclosure()

template<typename MatrixT , __size_type DEGREE = 0>
virtual void capd::dynset::CnSet< MatrixT, DEGREE >::setLastJetEnclosure ( const JetType &  enc)
inlinevirtual

◆ show()

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

returns a set detailed information

Implemented in capd::dynset::C0AffineSet< MatrixT, Policies >, capd::dynset::C0DoubletonSet< MatrixT, Policies >, capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >, capd::dynset::C0DoubletonSet< GeometricBound::MatrixType, capd::C0Rect2Policies >, capd::dynset::C0HOSet< BaseSetT >, capd::dynset::C0TripletonSet< MatrixT, Policies >, capd::dynset::C1AffineSet< MatrixT, Policies >, capd::dynset::C1DoubletonSet< MatrixT, Policies >, capd::dynset::C1DoubletonSet< MatrixT, C11Rect2Policies >, capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies >, capd::dynset::C1HOSet< BaseSetT >, capd::dynset::CnDoubletonSet< MatrixT, Policies, DEGREE >, capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >, capd::dynset::C0BallSet< MatrixT >, capd::dynset::C0FlowballSet< MatrixT >, capd::dynset::C11Rect2< MatrixT, QRPolicy >, capd::dynset::C1GraphicalSet< MatrixT, OutputClass >, and capd::dynset::C2DoubletonSet< MatrixT, Policies >.

Member Data Documentation

◆ m_currentSet

template<typename MatrixT , __size_type DEGREE = 0>
JetType capd::dynset::CnSet< MatrixT, DEGREE >::m_currentSet
protected

◆ m_currentTime

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

◆ m_lastEnclosure

template<typename MatrixT , __size_type DEGREE = 0>
JetType capd::dynset::CnSet< MatrixT, DEGREE >::m_lastEnclosure
protected