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...

const ScalarType	getCurrentTime () const

void	setCurrentTime (const ScalarType &t)

virtual	operator MatrixT () const
	returns an enclosure of derivative in the canonical coordinates More...

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

const static 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() [1/2]

const ScalarType capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::getCurrentTime ( ) const

inlineinherited

◆ getCurrentTime() [2/2]

template<typename MatrixT , typename OutputClass >

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

inline

◆ getLastEnclosure() [1/2]

const MatrixT::RowVectorType & capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::getLastEnclosure ( ) const

inlineinherited

◆ getLastEnclosure() [2/2]

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::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() [1/2]

template<typename MatrixT , typename OutputClass >

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

inline

◆ operator VectorType() [2/2]

virtual capd::dynset::AbstractSet< MatrixT::RowVectorType >::operator VectorType ( ) const

pure virtualinherited

Implemented in capd::dynset::CnSet< MatrixT, 0 >.

◆ 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

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

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

Member Typedef Documentation

◆ DynSysType

◆ MatrixType

◆ NormType

◆ Output

◆ ScalarType

◆ SetType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ C1GraphicalSet() [1/3]

◆ C1GraphicalSet() [2/3]

◆ C1GraphicalSet() [3/3]

◆ ~C1GraphicalSet()

Member Function Documentation

◆ degree()

◆ evalAt()

◆ getCurrentTime() [1/2]

◆ getCurrentTime() [2/2]

◆ getLastEnclosure() [1/2]

◆ getLastEnclosure() [2/2]

◆ getLastMatrixEnclosure()

◆ getNorm()

◆ getOutput()

◆ getSet()

◆ move() [1/3]

◆ move() [2/3]

◆ move() [3/3]

◆ operator MatrixT()

◆ operator MatrixT::RowVectorType()

◆ operator MatrixType()

◆ operator VectorType() [1/2]

◆ operator VectorType() [2/2]

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ refCurrentTime()

◆ setCurrentSet()

◆ setCurrentTime() [1/2]

◆ setCurrentTime() [2/2]

◆ setLastEnclosure() [1/2]

◆ setLastEnclosure() [2/2]

◆ setLastMatrixEnclosure()

◆ show()

Member Data Documentation

◆ m_currentMatrix

◆ m_currentSet

◆ m_currentTime

◆ m_lastEnclosure

◆ m_lastMatrixEnclosure

◆ m_output

◆ m_set

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