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::C1GraphicalSet< MatrixT, OutputClass > Class Template Referenceabstract
Dynset

C1GraphicalSet is an envelope class for any class derived from C1Set. It adds a possibility of an additional Output after each 'move' of the original set. More...

#include <capd/dynset/C1GraphicalSet.h>

Public Types

typedef MatrixT MatrixType
 
typedef MatrixType::RowVectorType VectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef capd::vectalg::Norm< VectorType, MatrixType > NormType
 
typedef capd::dynset::C1Set< MatrixType > SetType
 
typedef OutputClass Output
 
typedef MatrixType::size_type size_type
 
typedef capd::dynsys::C1DynSys< MatrixType > DynSysType
 defines minimal regularity of the dynamical system More...
 

Public Member Functions

 C1GraphicalSet (SetType *pSet, Output *output)
 
 C1GraphicalSet (SetType &set, Output &output)
 
 C1GraphicalSet (const C1GraphicalSet &c)
 
 ~C1GraphicalSet ()
 Destructor do not delete any objects (they can be shared), it up to user if they are static or dynamic. More...
 
void move (capd::dynsys::C1DynSys< MatrixType > &c1dynsys)
 
void move (capd::dynsys::C1DynSys< MatrixType > &c1dynsys, C1GraphicalSet &result) const
 
std::string show (void) const
 returns a set detailed information More...
 
const NormType * getNorm (void) const
 
 operator VectorType () const
 
 operator MatrixType () const
 
C1GraphicalSet & operator= (const VectorType &v)
 
C1GraphicalSet & operator= (const C1GraphicalSet &S)
 
SetType & getSet ()
 
Output & getOutput ()
 
const ScalarType getCurrentTime () const
 
ScalarType & refCurrentTime ()
 
void setCurrentTime (const ScalarType &t)
 
const VectorType & getLastEnclosure () const
 
const MatrixType & getLastMatrixEnclosure () const
 
virtual void move (DynSysType &c1dynsys)=0
 computes image of the set after one step/iterate of the dynamical system More...
 
void setCurrentTime (const ScalarType &t)
 
virtual operator MatrixT () const
 returns an enclosure of derivative in the canonical coordinates More...
 
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...
 

Static Public Member Functions

static const size_type degree ()
 

Protected Member Functions

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

Protected Attributes

SetType * m_set
 
Output * m_output
 
ScalarType m_currentTime
 
MatrixT m_currentMatrix
 
MatrixT m_lastMatrixEnclosure
 
MatrixT::RowVectorType m_currentSet
 
MatrixT::RowVectorType m_lastEnclosure
 

Detailed Description

template<typename MatrixT, typename OutputClass>
class capd::dynset::C1GraphicalSet< MatrixT, OutputClass >

C1GraphicalSet is an envelope class for any class derived from C1Set. It adds a possibility of an additional Output after each 'move' of the original set.

OutputClass only need to implement function void show(C1Set & set) which can e.g. draw on a screen or log set position to a file.

Member Typedef Documentation

◆ DynSysType

template<typename MatrixT >
typedef capd::dynsys::C1DynSys<MatrixType> capd::dynset::C1Set< MatrixT >::DynSysType
inherited

defines minimal regularity of the dynamical system

◆ MatrixType

template<typename MatrixT , typename OutputClass >
typedef MatrixT capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::MatrixType

◆ NormType

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

◆ Output

template<typename MatrixT , typename OutputClass >
typedef OutputClass capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::Output

◆ ScalarType

template<typename MatrixT , typename OutputClass >
typedef MatrixType::ScalarType capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::ScalarType

◆ SetType

template<typename MatrixT , typename OutputClass >
typedef capd::dynset::C1Set<MatrixType> capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::SetType

◆ size_type

template<typename MatrixT >
typedef MatrixType::size_type capd::dynset::C1Set< MatrixT >::size_type
inherited

◆ VectorType

template<typename MatrixT , typename OutputClass >
typedef MatrixType::RowVectorType capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::VectorType

Constructor & Destructor Documentation

◆ C1GraphicalSet() [1/3]

template<typename MatrixT , typename OutputClass >
capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::C1GraphicalSet ( SetType *  pSet,
Output *  output 
)
inline

◆ C1GraphicalSet() [2/3]

template<typename MatrixT , typename OutputClass >
capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::C1GraphicalSet ( SetType &  set,
Output &  output 
)
inline

◆ C1GraphicalSet() [3/3]

template<typename MatrixT , typename OutputClass >
capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::C1GraphicalSet ( const C1GraphicalSet< MatrixT, OutputClass > &  c)
inline

◆ ~C1GraphicalSet()

template<typename MatrixT , typename OutputClass >
capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::~C1GraphicalSet ( )
inline

Destructor do not delete any objects (they can be shared), it up to user if they are static or dynamic.

Member Function Documentation

◆ degree()

template<typename MatrixT >
static const size_type capd::dynset::C1Set< 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()

template<typename MatrixT , typename OutputClass >
const ScalarType capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::getCurrentTime ( ) const
inline

◆ getLastEnclosure()

template<typename MatrixT , typename OutputClass >
const VectorType& capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::getLastEnclosure ( ) const
inline

◆ getLastMatrixEnclosure()

template<typename MatrixT , typename OutputClass >
const MatrixType& capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::getLastMatrixEnclosure ( ) const
inline

◆ getNorm()

template<typename MatrixT , typename OutputClass >
const NormType* capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::getNorm ( void  ) const
inline

◆ getOutput()

template<typename MatrixT , typename OutputClass >
Output& capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::getOutput ( )
inline

◆ getSet()

template<typename MatrixT , typename OutputClass >
SetType& capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::getSet ( )
inline

◆ move() [1/3]

template<typename MatrixT , typename OutputClass >
void capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::move ( capd::dynsys::C1DynSys< MatrixType > &  c1dynsys)
inline

◆ move() [2/3]

template<typename MatrixT , typename OutputClass >
void capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::move ( capd::dynsys::C1DynSys< MatrixType > &  c1dynsys,
C1GraphicalSet< MatrixT, OutputClass > &  result 
) const
inline

◆ move() [3/3]

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

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

Implemented in capd::pdes::C1DoubletonSetGeometricTail< Policies >, capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound< capd::interval >::MatrixType, Policies > >, capd::dynset::C1DoubletonSet< MatrixT, Policies >, capd::dynset::C1DoubletonSet< MatrixT, C11Rect2Policies >, and capd::dynset::C1AffineSet< MatrixT, Policies >.

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

template<typename MatrixT , typename OutputClass >
capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::operator MatrixType ( ) const
inline

◆ operator VectorType()

template<typename MatrixT , typename OutputClass >
capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::operator VectorType ( ) const
inlinevirtual

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

◆ operator=() [1/2]

template<typename MatrixT , typename OutputClass >
C1GraphicalSet& capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::operator= ( const C1GraphicalSet< MatrixT, OutputClass > &  S)
inline

◆ operator=() [2/2]

template<typename MatrixT , typename OutputClass >
C1GraphicalSet& capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::operator= ( const VectorType &  v)
inline

◆ refCurrentTime()

template<typename MatrixT , typename OutputClass >
ScalarType& capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::refCurrentTime ( )
inline

◆ setCurrentSet()

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

◆ setCurrentTime() [1/2]

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

◆ setCurrentTime() [2/2]

template<typename MatrixT , typename OutputClass >
void capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::setCurrentTime ( const ScalarType &  t)
inline

◆ setLastEnclosure() [1/2]

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

◆ setLastEnclosure() [2/2]

template<typename MatrixT , typename OutputClass >
void capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::setLastEnclosure ( const VectorType &  enc)
inlineprotected

◆ setLastMatrixEnclosure()

template<typename MatrixT , typename OutputClass >
void capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::setLastMatrixEnclosure ( const MatrixT &  M)
inlineprotected

◆ show()

template<typename MatrixT , typename OutputClass >
std::string capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::show ( void  ) const
inlinevirtual

returns a set detailed information

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

Member Data Documentation

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

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

◆ m_output

template<typename MatrixT , typename OutputClass >
Output* capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::m_output
protected

◆ m_set

template<typename MatrixT , typename OutputClass >
SetType* capd::dynset::C1GraphicalSet< MatrixT, OutputClass >::m_set
protected
The documentation for this class was generated from the following file: