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

#include <capd/dynset/C0FlowballSet.h>

Public Types

typedef MatrixT MatrixType
 
typedef MatrixType::RowVectorType VectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef capd::vectalg::Norm< VectorType, MatrixType > NormType
 
typedef MatrixType::size_type size_type
 
typedef C0Set SetType
 defines class of given set (C0, C1, C2, ...) More...
 
typedef capd::dynsys::DynSys< MatrixType > DynSysType
 defines minimal regularity of the dynamical system More...
 

Public Member Functions

 C0FlowballSet (const VectorType &x, const ScalarType &r, const NormType &aNorm, ScalarType t=TypeTraits< ScalarType >::zero())
 
 C0FlowballSet (const C0FlowballSet &)
 
 ~C0FlowballSet ()
 
virtual void move (capd::dynsys::DynSys< MatrixType > &dynsys)
 
virtual void move (capd::dynsys::DynSys< MatrixType > &dynsys, C0FlowballSet &result) const
 
virtual std::string show (void) const
 returns a set detailed information More...
 
virtual VectorType affineTransformation (const MatrixType &, const VectorType &) const
 
virtual void move (DynSysType &dynsys)=0
 computes image of the set after one step/iterate of the dynamical system More...
 
const ScalarType getCurrentTime () const
 
ScalarType & refCurrentTime ()
 
void setCurrentTime (const ScalarType &t)
 
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
 

Static Public Member Functions

static const size_type degree ()
 

Protected Member Functions

void setLastEnclosure (const MatrixT::RowVectorType &enc)
 

Protected Attributes

VectorType m_x
 
ScalarType m_r
 
NormType * m_n
 
ScalarType m_currentTime
 
MatrixT::RowVectorType m_currentSet
 
MatrixT::RowVectorType m_lastEnclosure
 

Member Typedef Documentation

◆ DynSysType

template<typename MatrixT >
typedef capd::dynsys::DynSys<MatrixType> capd::dynset::C0Set< MatrixT >::DynSysType
inherited

defines minimal regularity of the dynamical system

◆ MatrixType

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

◆ NormType

template<typename MatrixT >
typedef capd::vectalg::Norm<VectorType,MatrixType> capd::dynset::C0FlowballSet< MatrixT >::NormType

◆ ScalarType

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

◆ SetType

template<typename MatrixT >
typedef C0Set capd::dynset::C0Set< MatrixT >::SetType
inherited

defines class of given set (C0, C1, C2, ...)

◆ size_type

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

◆ VectorType

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

Constructor & Destructor Documentation

◆ C0FlowballSet() [1/2]

template<typename MatrixType >
capd::dynset::C0FlowballSet< MatrixType >::C0FlowballSet ( const VectorType &  x,
const ScalarType &  r,
const NormType &  aNorm,
ScalarType  t = TypeTraits<ScalarType>::zero() 
)

◆ C0FlowballSet() [2/2]

template<typename MatrixType >
capd::dynset::C0FlowballSet< MatrixType >::C0FlowballSet ( const C0FlowballSet< MatrixT > &  S)
inline

◆ ~C0FlowballSet()

template<typename MatrixT >
capd::dynset::C0FlowballSet< MatrixT >::~C0FlowballSet ( )
inline

Member Function Documentation

◆ affineTransformation()

template<typename MatrixType >
C0FlowballSet< MatrixType >::VectorType capd::dynset::C0FlowballSet< MatrixType >::affineTransformation ( const MatrixType &  A_M,
const VectorType &  A_C 
) const
virtual

◆ degree()

template<typename MatrixT >
static const size_type capd::dynset::C0Set< MatrixT >::degree ( )
inlinestaticinherited

◆ 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

◆ move() [1/3]

template<typename MatrixType >
void capd::dynset::C0FlowballSet< MatrixType >::move ( capd::dynsys::DynSys< MatrixType > &  dynsys)
virtual

◆ move() [2/3]

template<typename MatrixType >
void capd::dynset::C0FlowballSet< MatrixType >::move ( capd::dynsys::DynSys< MatrixType > &  dynsys,
C0FlowballSet< MatrixT > &  result 
) const
virtual

◆ move() [3/3]

template<typename MatrixT >
virtual void capd::dynset::C0Set< MatrixT >::move ( DynSysType &  dynsys)
pure virtualinherited

computes image of the set after one step/iterate of the dynamical system

Implemented in capd::pdes::C0DoubletonSetGeometricTail< BaseT >, capd::dynset::C0TripletonSet< MatrixT, Policies >, capd::dynset::C0DoubletonSet< MatrixT, Policies >, capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >, capd::dynset::C0DoubletonSet< GeometricBound< capd::interval >::MatrixType, capd::C0Rect2Policies >, and capd::dynset::C0AffineSet< MatrixT, Policies >.

◆ 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::pdes::C0HODoubletonSetGeometricTail< BaseSetT >, capd::pdes::C0DoubletonSetGeometricTail< BaseT >, capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound< capd::interval >::MatrixType, Policies > >, capd::dynset::CnSet< MatrixT, DEGREE >, capd::dynset::CnSet< MatrixT, 0 >, capd::dynset::C1GraphicalSet< MatrixT, OutputClass >, and capd::dynset::C11Rect2< MatrixT, QRPolicy >.

◆ 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

◆ show()

template<typename MatrixType >
std::string capd::dynset::C0FlowballSet< MatrixType >::show ( void  ) const
virtual

returns a set detailed information

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

Member Data Documentation

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

template<typename MatrixT >
NormType* capd::dynset::C0FlowballSet< MatrixT >::m_n
protected

◆ m_r

template<typename MatrixT >
ScalarType capd::dynset::C0FlowballSet< MatrixT >::m_r
protected

◆ m_x

template<typename MatrixT >
VectorType capd::dynset::C0FlowballSet< MatrixT >::m_x
protected
The documentation for this class was generated from the following files: