CAPD DynSys Library  5.2.0
capd::dynset::C0EnclosureHolder< VectorT > Class Template Referenceabstract

These classes are used as base classes for all types of C^0-C^n sets. More...

#include <capd/dynset/EnclosureHolder.h>

Public Types

typedef VectorT VectorType
 
typedef VectorType::ScalarType ScalarType
 

Public Member Functions

 C0EnclosureHolder (const VectorT &x, const VectorT &enc)
 
virtual ~C0EnclosureHolder ()
 
const VectorT & getLastEnclosure () const
 
virtual operator VectorT () const
 returns an enclosure of the set in the canonical coordinates More...
 
void setCurrentSet (const VectorT &x)
 
template<class Functional >
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 setLastEnclosure (const VectorT &enc)
 

Protected Attributes

VectorT m_currentSet
 
VectorT m_lastEnclosure
 

Detailed Description

template<class VectorT>
class capd::dynset::C0EnclosureHolder< VectorT >

These classes are used as base classes for all types of C^0-C^n sets.

They store last computed enclosure for the flow and provide methods for manipulating them. They store as well the current set and/or derivatives represented in the canonical coordinates.

Member Typedef Documentation

◆ ScalarType

template<typename VectorT >
typedef VectorType::ScalarType capd::dynset::AbstractSet< VectorT >::ScalarType
inherited

◆ VectorType

template<typename VectorT >
typedef VectorT capd::dynset::AbstractSet< VectorT >::VectorType
inherited

Constructor & Destructor Documentation

◆ C0EnclosureHolder()

template<class VectorT >
capd::dynset::C0EnclosureHolder< VectorT >::C0EnclosureHolder ( const VectorT &  x,
const VectorT &  enc 
)
inline

◆ ~C0EnclosureHolder()

template<class VectorT >
virtual capd::dynset::C0EnclosureHolder< VectorT >::~C0EnclosureHolder ( )
inlinevirtual

Member Function Documentation

◆ evalAt()

template<typename VectorT >
template<class Functional >
ScalarType capd::dynset::AbstractSet< VectorT >::evalAt ( const Functional &  f) const
inlineinherited

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

◆ getLastEnclosure()

template<class VectorT >
const VectorT& capd::dynset::C0EnclosureHolder< VectorT >::getLastEnclosure ( ) const
inline

◆ operator VectorT()

template<class VectorT >
virtual capd::dynset::C0EnclosureHolder< VectorT >::operator VectorT ( ) const
inlinevirtual

returns an enclosure of the set in the canonical coordinates

◆ operator VectorType()

◆ setCurrentSet()

template<class VectorT >
void capd::dynset::C0EnclosureHolder< VectorT >::setCurrentSet ( const VectorT &  x)
inline

◆ setLastEnclosure()

template<class VectorT >
void capd::dynset::C0EnclosureHolder< VectorT >::setLastEnclosure ( const VectorT &  enc)
inlineprotected

◆ show()

Member Data Documentation

◆ m_currentSet

template<class VectorT >
VectorT capd::dynset::C0EnclosureHolder< VectorT >::m_currentSet
protected

◆ m_lastEnclosure

template<class VectorT >
VectorT capd::dynset::C0EnclosureHolder< VectorT >::m_lastEnclosure
protected