This class uses representation of subset of R^n inherited from template parameter. More...

#include <capd/dynset/C1HOSet.h>

Public Types
typedef BaseSetT	BaseSet

typedef BaseSet::MatrixType	MatrixType

typedef BaseSet::VectorType	VectorType

typedef MatrixType::ScalarType	ScalarType

typedef MatrixType::size_type	size_type

typedef BaseSet::DynSysType	DynSysType

typedef BaseSet::SetType	SetType

typedef BaseSet::C0BaseSet	C0BaseSet

typedef BaseSet::C1BaseSet	C1BaseSet

typedef HOData< typename BaseSetT::Data >	Data

Public Member Functions
template<class Functional >
ScalarType	evalAt (const Functional &f) const
	This method computes value of functor f at interval vector represented by this set. It computes the value as an intersection of evalAt for two representations of this set: predictor and corrector. More...

VectorType	affineTransformation (const MatrixType &M, const VectorType &x) const

virtual ScalarType	evalAffineFunctional (const VectorType &gradient, const VectorType &u) const

template<class Solver >
void	move (Solver &solver)

std::string	show () const

void	move (DynSysType &)

std::string	name () 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

ScalarType &	refCurrentTime ()

void	setCurrentTime (const ScalarType &t)

const BaseSetT::MatrixType &	getLastMatrixEnclosure () const

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

const BaseSetT::MatrixType ::RowVectorType &	getLastEnclosure () const

virtual	operator BaseSetT::MatrixType ::RowVectorType () const
	returns an enclosure of the set in the canonical coordinates More...

void	setCurrentSet (const BaseSetT::MatrixType ::RowVectorType &x)

virtual	operator VectorType () const=0

virtual std::string	show () const=0
	returns a set detailed information More...

void	computeC0HORemainder (size_type p, size_type q)

void	computeC1HORemainder (size_type p, size_type q, MatrixType &jacRem)

void	computeC0HOCoefficients ()


	C1HOSet (const C0BaseSet &c0part, const C1BaseSet &c1part, ScalarType t=TypeTraits< ScalarType >::zero())

	C1HOSet (const VectorType &x, ScalarType t=TypeTraits< ScalarType >::zero())

	C1HOSet (const VectorType &x, const VectorType &r0, ScalarType t=TypeTraits< ScalarType >::zero())

	C1HOSet (const VectorType &x, const MatrixType &C, const VectorType &r0, ScalarType t=TypeTraits< ScalarType >::zero())

	C1HOSet (const VectorType &x, const MatrixType &C, const VectorType &r0, const VectorType &r, ScalarType t=TypeTraits< ScalarType >::zero())

	C1HOSet (const VectorType &x, const MatrixType &C, const VectorType &r0, const MatrixType &B, const VectorType &r, ScalarType t=TypeTraits< ScalarType >::zero())


template<class Solver >
void	move (Solver &solver, C1HOSet &result)

Static Public Member Functions
const static size_type	degree ()

Public Attributes
C0BaseSet	predictor

C0BaseSet	corrector

VectorType	psiPlus

VectorType	psiMinus

VectorType	pBound

VectorType	cBound

MatrixType	JPlus

MatrixType	JMinus

MatrixType	midJMinusInverse

MatrixType	T

Protected Member Functions
void	setLastMatrixEnclosure (const BaseSetT::MatrixType &M)

void	setLastEnclosure (const BaseSetT::MatrixType ::RowVectorType &enc)

Protected Attributes
ScalarType	m_currentTime

BaseSetT::MatrixType	m_currentMatrix

BaseSetT::MatrixType	m_lastMatrixEnclosure

BaseSetT::MatrixType ::RowVectorType	m_currentSet

BaseSetT::MatrixType ::RowVectorType	m_lastEnclosure

Detailed Description

template<class BaseSetT>
class capd::dynset::C1HOSet< BaseSetT >

This class uses representation of subset of R^n inherited from template parameter.

The evaluation of the set by an ODE is realized by intersection of two methods: the Taylor method and the Hermite-Obreshkov method.

IMPORTANT: present implementation is valid for orders of the Taylor method less or equal 64, only. This is due to capacity of integer type used to store binomial coefficients. Minimal order should be at least 3.

Member Typedef Documentation

◆ BaseSet

template<class BaseSetT >

typedef BaseSetT capd::dynset::C1HOSet< BaseSetT >::BaseSet

◆ C0BaseSet

template<class BaseSetT >

typedef BaseSet::C0BaseSet capd::dynset::C1HOSet< BaseSetT >::C0BaseSet

◆ C1BaseSet

template<class BaseSetT >

typedef BaseSet::C1BaseSet capd::dynset::C1HOSet< BaseSetT >::C1BaseSet

◆ Data

template<class BaseSetT >

typedef HOData<typename BaseSetT::Data> capd::dynset::C1HOSet< BaseSetT >::Data

◆ DynSysType

template<class BaseSetT >

typedef BaseSet::DynSysType capd::dynset::C1HOSet< BaseSetT >::DynSysType

◆ MatrixType

template<class BaseSetT >

typedef BaseSet::MatrixType capd::dynset::C1HOSet< BaseSetT >::MatrixType

◆ ScalarType

template<class BaseSetT >

typedef MatrixType::ScalarType capd::dynset::C1HOSet< BaseSetT >::ScalarType

◆ SetType

template<class BaseSetT >

typedef BaseSet::SetType capd::dynset::C1HOSet< BaseSetT >::SetType

◆ size_type

template<class BaseSetT >

typedef MatrixType::size_type capd::dynset::C1HOSet< BaseSetT >::size_type

◆ VectorType

template<class BaseSetT >

typedef BaseSet::VectorType capd::dynset::C1HOSet< BaseSetT >::VectorType

Constructor & Destructor Documentation

◆ C1HOSet() [1/6]

template<class BaseSetT >

capd::dynset::C1HOSet< BaseSetT >::C1HOSet	(	const C0BaseSet &	c0part,
		const C1BaseSet &	c1part,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ C1HOSet() [2/6]

template<class BaseSetT >

capd::dynset::C1HOSet< BaseSetT >::C1HOSet	(	const VectorType &	x,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

explicit

◆ C1HOSet() [3/6]

template<class BaseSetT >

capd::dynset::C1HOSet< BaseSetT >::C1HOSet	(	const VectorType &	x,
		const VectorType &	r0,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ C1HOSet() [4/6]

template<class BaseSetT >

capd::dynset::C1HOSet< BaseSetT >::C1HOSet	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ C1HOSet() [5/6]

template<class BaseSetT >

capd::dynset::C1HOSet< BaseSetT >::C1HOSet	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		const VectorType &	r,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ C1HOSet() [6/6]

template<class BaseSetT >

capd::dynset::C1HOSet< BaseSetT >::C1HOSet	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		const MatrixType &	B,
		const VectorType &	r,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

Member Function Documentation

◆ affineTransformation()

template<class BaseSetT >

VectorType capd::dynset::C1HOSet< BaseSetT >::affineTransformation	(	const MatrixType &	M,
		const VectorType &	x
	)		const

inline

◆ computeC0HOCoefficients()

void capd::dynset::HOData< BaseSetT::Data >::computeC0HOCoefficients ( )

inlineinherited

◆ computeC0HORemainder()

void capd::dynset::HOData< BaseSetT::Data >::computeC0HORemainder	(	size_type	p,
		size_type	q
	)

inlineinherited

◆ computeC1HORemainder()

void capd::dynset::HOData< BaseSetT::Data >::computeC1HORemainder	(	size_type	p,
		size_type	q,
		MatrixType &	jacRem
	)

inlineinherited

◆ degree()

const static size_type capd::dynset::C1Set< BaseSetT::MatrixType >::degree

inlinestaticinherited

◆ evalAffineFunctional()

template<class BaseSetT >

virtual ScalarType capd::dynset::C1HOSet< BaseSetT >::evalAffineFunctional	(	const VectorType &	gradient,
		const VectorType &	u
	)		const

inlinevirtual

◆ evalAt()

template<class BaseSetT >

template<class Functional >

ScalarType capd::dynset::C1HOSet< BaseSetT >::evalAt ( const Functional & f ) const

inline

This method computes value of functor f at interval vector represented by this set. It computes the value as an intersection of evalAt for two representations of this set: predictor and corrector.

◆ getCurrentTime()

const ScalarType capd::diffAlgebra::TimeRange< BaseSetT::MatrixType ::ScalarType >::getCurrentTime ( ) const

inlineinherited

◆ getLastEnclosure()

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

inlineinherited

◆ getLastMatrixEnclosure()

const BaseSetT::MatrixType & capd::dynset::C1EnclosureHolder< BaseSetT::MatrixType >::getLastMatrixEnclosure

inlineinherited

◆ move() [1/4]

template<class BaseSetT >

void capd::dynset::C1HOSet< BaseSetT >::move ( DynSysType & )

inline

◆ move() [2/4]

virtual void capd::dynset::C1Set< BaseSetT::MatrixType >::move ( DynSysType & c1dynsys )

pure virtualinherited

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

◆ move() [3/4]

template<class BaseSetT >

template<class Solver >

void capd::dynset::C1HOSet< BaseSetT >::move ( Solver & solver )

inline

◆ move() [4/4]

template<class BaseSetT >

template<class Solver >

void capd::dynset::C1HOSet< BaseSetT >::move	(	Solver &	solver,
		C1HOSet< BaseSetT > &	result
	)

TODO this reorganization is valid for doubleton representations of C^1 part, only. This should be changed to a general reorganization.

◆ name()

template<class BaseSetT >

std::string capd::dynset::C1HOSet< BaseSetT >::name ( ) const

inline

◆ operator BaseSetT::MatrixType()

virtual capd::dynset::C1EnclosureHolder< BaseSetT::MatrixType >::operator BaseSetT::MatrixType

inlinevirtualinherited

returns an enclosure of derivative in the canonical coordinates

◆ operator BaseSetT::MatrixType ::RowVectorType()

virtual capd::dynset::C0EnclosureHolder< BaseSetT::MatrixType ::RowVectorType >::operator BaseSetT::MatrixType ::RowVectorType ( ) const

inlinevirtualinherited

returns an enclosure of the set in the canonical coordinates

◆ operator VectorType()

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

pure virtualinherited

◆ refCurrentTime()

ScalarType& capd::diffAlgebra::TimeRange< BaseSetT::MatrixType ::ScalarType >::refCurrentTime ( )

inlineinherited

◆ setCurrentSet()

void capd::dynset::C0EnclosureHolder< BaseSetT::MatrixType ::RowVectorType >::setCurrentSet ( const VectorT & x )

inlineinherited

◆ setCurrentTime()

void capd::diffAlgebra::TimeRange< BaseSetT::MatrixType ::ScalarType >::setCurrentTime ( const ScalarType & t )

inlineinherited

◆ setLastEnclosure()

void capd::dynset::C0EnclosureHolder< BaseSetT::MatrixType ::RowVectorType >::setLastEnclosure ( const VectorT & enc )

inlineprotectedinherited

◆ setLastMatrixEnclosure()

void capd::dynset::C1EnclosureHolder< BaseSetT::MatrixType >::setLastMatrixEnclosure ( const BaseSetT::MatrixType & M )

inlineprotectedinherited

◆ show() [1/2]

template<class BaseSetT >

std::string capd::dynset::C1HOSet< BaseSetT >::show ( ) const

inline

◆ show() [2/2]

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

pure virtualinherited

returns a set detailed information

Member Data Documentation

◆ cBound

VectorType capd::dynset::HOData< BaseSetT::Data >::cBound

inherited

◆ corrector

template<class BaseSetT >

C0BaseSet capd::dynset::C1HOSet< BaseSetT >::corrector

◆ JMinus

MatrixType capd::dynset::HOData< BaseSetT::Data >::JMinus

inherited

◆ JPlus

MatrixType capd::dynset::HOData< BaseSetT::Data >::JPlus

inherited

◆ m_currentMatrix

BaseSetT::MatrixType capd::dynset::C1EnclosureHolder< BaseSetT::MatrixType >::m_currentMatrix

protectedinherited

◆ m_currentSet

BaseSetT::MatrixType ::RowVectorType capd::dynset::C0EnclosureHolder< BaseSetT::MatrixType ::RowVectorType >::m_currentSet

protectedinherited

◆ m_currentTime

ScalarType capd::diffAlgebra::TimeRange< BaseSetT::MatrixType ::ScalarType >::m_currentTime

protectedinherited

◆ m_lastEnclosure

BaseSetT::MatrixType ::RowVectorType capd::dynset::C0EnclosureHolder< BaseSetT::MatrixType ::RowVectorType >::m_lastEnclosure

protectedinherited

◆ m_lastMatrixEnclosure

BaseSetT::MatrixType capd::dynset::C1EnclosureHolder< BaseSetT::MatrixType >::m_lastMatrixEnclosure

protectedinherited

◆ midJMinusInverse

MatrixType capd::dynset::HOData< BaseSetT::Data >::midJMinusInverse

inherited

◆ pBound

VectorType capd::dynset::HOData< BaseSetT::Data >::pBound

inherited

◆ predictor

template<class BaseSetT >

C0BaseSet capd::dynset::C1HOSet< BaseSetT >::predictor

◆ psiMinus

VectorType capd::dynset::HOData< BaseSetT::Data >::psiMinus

inherited

◆ psiPlus

VectorType capd::dynset::HOData< BaseSetT::Data >::psiPlus

inherited

◆ T

MatrixType capd::dynset::HOData< BaseSetT::Data >::T

inherited

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Protected Member Functions

Protected Attributes

Detailed Description

template<class BaseSetT> class capd::dynset::C1HOSet< BaseSetT >

Member Typedef Documentation

◆ BaseSet

◆ C0BaseSet

◆ C1BaseSet

◆ Data

◆ DynSysType

◆ MatrixType

◆ ScalarType

◆ SetType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ C1HOSet() [1/6]

◆ C1HOSet() [2/6]

◆ C1HOSet() [3/6]

◆ C1HOSet() [4/6]

◆ C1HOSet() [5/6]

◆ C1HOSet() [6/6]

Member Function Documentation

◆ affineTransformation()

◆ computeC0HOCoefficients()

◆ computeC0HORemainder()

◆ computeC1HORemainder()

◆ degree()

◆ evalAffineFunctional()

◆ evalAt()

◆ getCurrentTime()

◆ getLastEnclosure()

◆ getLastMatrixEnclosure()

◆ move() [1/4]

◆ move() [2/4]

◆ move() [3/4]

◆ move() [4/4]

◆ name()

◆ operator BaseSetT::MatrixType()

◆ operator BaseSetT::MatrixType ::RowVectorType()

◆ operator VectorType()

◆ refCurrentTime()

◆ setCurrentSet()

◆ setCurrentTime()

◆ setLastEnclosure()

◆ setLastMatrixEnclosure()

◆ show() [1/2]

◆ show() [2/2]

Member Data Documentation

◆ cBound

◆ corrector

◆ JMinus

◆ JPlus

◆ m_currentMatrix

◆ m_currentSet

◆ m_currentTime

◆ m_lastEnclosure

◆ m_lastMatrixEnclosure

◆ midJMinusInverse

◆ pBound

◆ predictor

◆ psiMinus

◆ psiPlus

◆ T

template<class BaseSetT>
class capd::dynset::C1HOSet< BaseSetT >