the set is represented as: x + Ball(r). More...

#include <capd/dynset/C0BallSet.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
	C0BallSet (const C0BallSet &)

	C0BallSet (const VectorType &x, NormType &n, ScalarType t=TypeTraits< ScalarType >::zero())

	C0BallSet (const VectorType &x, const ScalarType &r, NormType &n, ScalarType t=TypeTraits< ScalarType >::zero())

	~C0BallSet ()

const C0BallSet &	operator= (const C0BallSet &)

virtual void	move (capd::dynsys::DynSys< MatrixType > &dynsys)

virtual void	move (capd::dynsys::DynSys< MatrixType > &dynsys, C0BallSet &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
const static size_type	degree ()

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

Protected Attributes
VectorType	x

ScalarType	r

NormType *	n

ScalarType	m_currentTime

MatrixT::RowVectorType	m_currentSet

MatrixT::RowVectorType	m_lastEnclosure

Detailed Description

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

the set is represented as: x + Ball(r).

move: x - center of result; r = Lip(JacPhi) + errors from Phi(x) for cascades for flows : r = exp(Lip(vectfield)*h) + errors ..

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::C0BallSet< MatrixT >::MatrixType

◆ NormType

template<typename MatrixT >

typedef capd::vectalg::Norm<VectorType,MatrixType> capd::dynset::C0BallSet< MatrixT >::NormType

◆ ScalarType

template<typename MatrixT >

typedef MatrixType::ScalarType capd::dynset::C0BallSet< 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::C0BallSet< MatrixT >::size_type

◆ VectorType

template<typename MatrixT >

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

Constructor & Destructor Documentation

◆ C0BallSet() [1/3]

template<typename MatrixType >

capd::dynset::C0BallSet< MatrixType >::C0BallSet ( const C0BallSet< MatrixT > & a_set )

◆ C0BallSet() [2/3]

template<typename MatrixType >

capd::dynset::C0BallSet< MatrixType >::C0BallSet	(	const VectorType &	x,
		NormType &	n,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ C0BallSet() [3/3]

template<typename MatrixType >

capd::dynset::C0BallSet< MatrixType >::C0BallSet	(	const VectorType &	x,
		const ScalarType &	r,
		NormType &	n,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ ~C0BallSet()

template<typename MatrixType >

capd::dynset::C0BallSet< MatrixType >::~C0BallSet

Member Function Documentation

◆ affineTransformation()

template<typename MatrixType >

C0BallSet< MatrixType >::VectorType capd::dynset::C0BallSet< MatrixType >::affineTransformation	(	const MatrixType &	A_M,
		const VectorType &	A_C
	)		const

virtual

◆ degree()

template<typename MatrixT >

const static 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::C0BallSet< MatrixType >::move ( capd::dynsys::DynSys< MatrixType > & dynsys )

virtual

◆ move() [2/3]

template<typename MatrixType >

void capd::dynset::C0BallSet< MatrixType >::move	(	capd::dynsys::DynSys< MatrixType > &	dynsys,
		C0BallSet< 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::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 >.

◆ operator=()

template<typename MatrixType >

const C0BallSet< MatrixType > & capd::dynset::C0BallSet< MatrixType >::operator= ( const C0BallSet< MatrixT > & a_set )

◆ 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::C0BallSet< 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

◆ n

template<typename MatrixT >

NormType* capd::dynset::C0BallSet< MatrixT >::n

protected

◆ r

template<typename MatrixT >

ScalarType capd::dynset::C0BallSet< MatrixT >::r

protected

◆ x

template<typename MatrixT >

VectorType capd::dynset::C0BallSet< MatrixT >::x

protected

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

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

Member Typedef Documentation

◆ DynSysType

◆ MatrixType

◆ NormType

◆ ScalarType

◆ SetType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ C0BallSet() [1/3]

◆ C0BallSet() [2/3]

◆ C0BallSet() [3/3]

◆ ~C0BallSet()

Member Function Documentation

◆ affineTransformation()

◆ degree()

◆ evalAt()

◆ getCurrentTime()

◆ getLastEnclosure()

◆ move() [1/3]

◆ move() [2/3]

◆ move() [3/3]

◆ operator MatrixT::RowVectorType()

◆ operator VectorType()

◆ operator=()

◆ refCurrentTime()

◆ setCurrentSet()

◆ setCurrentTime()

◆ setLastEnclosure()

◆ show()

Member Data Documentation

◆ m_currentSet

◆ m_currentTime

◆ m_lastEnclosure

◆ n

◆ r

◆ x

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