capd::dynset::C0Set< MatrixT > Class Template Reference

Common interface of all sets that stores only C0 information (set position). More...

#include <capd/dynset/C0Set.h>

Public Types
typedef MatrixT	MatrixType
typedef MatrixType::RowVectorType	VectorType
typedef MatrixType::ScalarType	ScalarType
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
	C0Set (const VectorType &x, const VectorType &enc, const ScalarType &t)
	constructor, initializes default enclosure and initial time More...
virtual	~C0Set (void)
	destructor More...
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
virtual std::string	show () const=0
	returns a set detailed information More...

Static Public Member Functions
const static size_type	degree ()

Protected Member Functions
void	setLastEnclosure (const MatrixT::RowVectorType &enc)

Protected Attributes
ScalarType	m_currentTime
MatrixT::RowVectorType	m_currentSet
MatrixT::RowVectorType	m_lastEnclosure

Detailed Description

template<typename MatrixT>
class capd::dynset::C0Set< MatrixT >

Common interface of all sets that stores only C0 information (set position).

Member Typedef Documentation

DynSysType

template<typename MatrixT >

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

defines minimal regularity of the dynamical system

MatrixType

template<typename MatrixT >

typedef MatrixT capd::dynset::C0Set< MatrixT >::MatrixType

ScalarType

template<typename MatrixT >

typedef MatrixType::ScalarType capd::dynset::C0Set< MatrixT >::ScalarType

SetType

template<typename MatrixT >

typedef C0Set capd::dynset::C0Set< MatrixT >::SetType

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

size_type

template<typename MatrixT >

typedef MatrixType::size_type capd::dynset::C0Set< MatrixT >::size_type

VectorType

template<typename MatrixT >

typedef MatrixType::RowVectorType capd::dynset::C0Set< MatrixT >::VectorType

Constructor & Destructor Documentation

C0Set()

template<typename MatrixT >

capd::dynset::C0Set< MatrixT >::C0Set ( const VectorType &  x, const VectorType &  enc, const ScalarType &  t  )

inline

constructor, initializes default enclosure and initial time

~C0Set()

template<typename MatrixT >

virtual capd::dynset::C0Set< MatrixT >::~C0Set ( void  )

inlinevirtual

destructor

Member Function Documentation

degree()

template<typename MatrixT >

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

inlinestatic

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

template<typename MatrixT >

virtual void capd::dynset::C0Set< MatrixT >::move ( DynSysType &  dynsys )

pure virtual

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

Implemented in capd::dynset::C0DoubletonSet< MatrixT, Policies >, capd::dynset::C0DoubletonSet< MatrixT, 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::dynset::CnSet< MatrixT, 0 >.

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

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

pure virtualinherited

returns a set detailed information

Implemented in capd::dynset::C2DoubletonSet< MatrixT, Policies >, capd::dynset::C1GraphicalSet< MatrixT, OutputClass >, capd::dynset::C0BallSet< MatrixT >, capd::dynset::C11Rect2< MatrixT, QRPolicy >, capd::dynset::C0FlowballSet< MatrixT >, capd::dynset::C1DoubletonSet< MatrixT, C11Rect2Policies >, and capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >.

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