#include <capd/pdes/C1DoubletonSetGeometricTail.h>

Public Types
typedef capd::pdes::GeometricBound	VectorType

typedef VectorType::MatrixType	MatrixType

typedef MatrixType::RowVectorType	FiniteVectorType

typedef MatrixType::ScalarType	ScalarType

typedef MatrixType::size_type	size_type

typedef capd::vectalg::MaxNorm< FiniteVectorType, MatrixType >	NormType

typedef capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies >	FiniteDimensionalBaseSet

typedef C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >	BaseSet

typedef capd::dynset::C1Set< MatrixType >::SetType	SetType

typedef capd::pdes::PdeSolver< VectorType >	DynSysType

typedef capd::dynset::DoubletonData< MatrixType >	Data

typedef Policies	Policy

typedef std::vector< VectorType >	VectorArray

typedef DynSysType::MatrixArray	MatrixArray

typedef capd::geomset::CenteredDoubletonSet< GeometricBound::MatrixType >	C0BaseSet

typedef capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >	C1BaseSet

typedef BaseSet::ColumnVectorType	ColumnVectorType

typedef BaseSet::ColumnVectorType	ColumnVectorType

typedef MatrixType::template rebind< typename ScalarType::BoundType >::other	RealMatrix

typedef VectorType::template rebind< typename ScalarType::BoundType >::other	RealVector

Public Member Functions
	C1DoubletonSetGeometricTail (const VectorType &x, ScalarType t=TypeTraits< ScalarType >::zero())

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

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

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

void	move (DynSysType &dynsys)
	computes image of the set after one step/iterate of the dynamical system More...

void	move (DynSysType &dynsys, C1DoubletonSetGeometricTail &result) const
	computes image of the set after one step/iterate of the dynamical system and stores it in result More...

std::string	name () const

void	initC1 ()

const VectorType &	ind (VectorArray &J, int j) const

const VectorType &	ind (MatrixArray &J, int j) const

template<class Container >
ScalarType	getVyxNorm (Container &J) const
	Here we compute operator norm of f:R^n\to l_\infty In R^n we assume l_2 norm. Hence, operator norm is given by supremum of l_2 norms of rows. This can be also bouned by supremum of l_1 norms of rows. More...

void	setMaxBlockSize (int newMaxBlockSize)

void	initMove (C0DoubletonSetGeometricTail &result) const

void	finalizeMove (C0DoubletonSetGeometricTail &result) const

void	move (DynSysType &dynsys)
	computes image of the set after one step/iterate of the dynamical system More...

void	move (DynSysType &dynsys, C0DoubletonSetGeometricTail &result) const
	computes image of the set after one step/iterate of the dynamical system and stores it in result More...

void	move (DynSysType &dynsys, C1DoubletonSet &result) const
	computes image of the set after one step/iterate of the dynamical system and stores it in result More...

virtual void	move (DynSysType &c1dynsys)=0
	computes image of the set after one step/iterate of the dynamical system More...

ScalarType	evalAt (const Functional &f) const
	This method computes value of functor f at interval vector represented by this set. More...

VectorType	affineTransformation (const MatrixType &A, const VectorType &c) const

virtual VectorType	affineTransformation (const MatrixType &M, const VectorType &x0) const
	This method computes value of an affine map f at interval vector represented by this set. This set is represented as tripleton X=x+Cr0+intersection(Br,Qq). Then f(X) = M(X-x0) can be computed as M(x-x0) + (MC)r0 + intersection( MB)r, (MQ)*q ) More...

	operator VectorType () const

std::string	name () const

const VectorType &	getCurrentSeries () const

void	setLastEnclosure (const VectorType &enc)

const VectorType &	getLastEnclosure () const

std::string	show () const

const MatrixType &	get_R0 () const

const ScalarType &	getElement_R0 (size_type i, size_type j) const

const ScalarType &	getElement_R0 (size_type i, size_type j) const

VectorType	getRow_R0 (size_type i) const

VectorType	getRow_R0 (size_type i) const

ColumnVectorType	getColumn_R0 (size_type j) const

ColumnVectorType	getColumn_R0 (size_type j) const

const MatrixType &	get_Cjac () const

const ScalarType &	getElement_Cjac (size_type i, size_type j) const

const ScalarType &	getElement_Cjac (size_type i, size_type j) const

VectorType	getRow_Cjac (size_type i) const

VectorType	getRow_Cjac (size_type i) const

ColumnVectorType	getColumn_Cjac (size_type j) const

ColumnVectorType	getColumn_Cjac (size_type j) const

const ScalarType	getCurrentTime () const

ScalarType &	refCurrentTime ()

void	setCurrentTime (const ScalarType &t)

const GeometricBound::MatrixType &	getLastMatrixEnclosure () const

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

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

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

virtual ScalarType	evalAffineFunctional (const VectorType &gradient, const VectorType &x0) const
	This method computes value of an affine functional f at the vector represented by this set. This set is represented as doubleton X=x+Cr0+Br. Then f(X) = grad(X-x0) can be computed as grad(x-x0) + (gradC)r0 + (gradB)r. More...

std::string	toString () const
	returns set detailed information More...

std::string	toString () const
	returns set detailed information More...

size_type	dimension () const
	returns dimension of a set More...

const VectorType &	get_x () const

const ScalarType &	getElement_x (int i) const

void	set_x (const VectorType &x)

void	setElement_x (size_type i, const ScalarType &s)

const VectorType &	get_r () const

const ScalarType &	getElement_r (size_type i) const

void	set_r (const VectorType &r)

void	setElement_r (size_type i, const ScalarType &s)

const MatrixType &	get_B () const

const MatrixType &	get_invB () const

void	setToIdentity ()

void	setToIdentity (size_type dim)

void	setToIdentity ()
	sets the set to identity More...

const ScalarType &	getElement_B (size_type i, size_type j) const

VectorType	getRow_B (size_type i) const

ColumnVectorType	getColumn_B (size_type j) const

void	set_B (const MatrixType &B)

void	set_invB (const MatrixType &B)

void	setElement_B (size_type i, size_type j, const ScalarType &s)

void	setRow_B (size_type i, const VectorT &v)

void	setColumn_B (size_type j, const VectorT &v)

	operator MatrixType () const

virtual MatrixType	affineMatrixTransformation (const MatrixType &) const
	returns image of the set after affine transformation More...

void	set_R0 (const MatrixType &R0)

void	setElement_R0 (size_type i, size_type j, const ScalarType &s)

void	setRow_R0 (size_type i, const VectorT &v)

void	setColumn_R0 (size_type j, const VectorT &v)

void	set_Cjac (const MatrixType &C)

void	setElement_Cjac (size_type i, size_type j, const ScalarType &s)

void	setRow_Cjac (size_type i, const VectorT &v)

void	setColumn_Cjac (size_type j, const VectorT &v)

const MatrixType &	get_D () const

const ScalarType &	getElement_D (size_type i, size_type j) const

VectorType	getRow_D (size_type i) const

ColumnVectorType	getColumn_D (size_type j) const

void	set_D (const MatrixType &Bjac)

void	setElement_D (size_type i, size_type j, const ScalarType &s)

void	setRow_D (size_type i, const VectorT &v)

void	setColumn_D (size_type j, const VectorT &v)

const MatrixType &	get_R () const

const ScalarType &	getElement_R (size_type i, size_type j) const

VectorType	getRow_R (size_type i) const

ColumnVectorType	getColumn_R (size_type j) const

void	set_R (const MatrixType &Bjac)

void	setElement_R (size_type i, size_type j, const ScalarType &s)

void	setRow_R (size_type i, const VectorT &v)

void	setColumn_R (size_type j, const VectorT &v)

const MatrixType &	get_invBjac () const

const MatrixType &	get_Bjac () const

const ScalarType &	getElement_Bjac (size_type i, size_type j) const

VectorType	getRow_Bjac (size_type i) const

ColumnVectorType	getColumn_Bjac (size_type j) const

void	set_Bjac (const MatrixType &Bjac)

void	setElement_Bjac (size_type i, size_type j, const ScalarType &s)

void	setRow_Bjac (size_type i, const VectorT &v)

void	setColumn_Bjac (size_type j, const VectorT &v)

Static Public Member Functions
static void	move (const C1BaseSet &set, C1BaseSet &result, MatrixType &bound, Data &data)
	this computes next representation of the set given computed one-step enclosure of the form y + jacPhi*deltaX + rem More...

const static size_type	degree ()

Public Attributes
VectorArray	m_dyxId

VectorArray	m_dyx

ScalarType	Dxx

ScalarType	Dyx

ScalarType	encDyx

FiniteVectorType	Dy

FiniteVectorType	encDy

MatrixType	encDxx

bool	printLog = false

int	maxBlockSize = 250

int	counter

VectorType	m_enc

VectorType	m_currentSeries

VectorType	m_tmp

MatrixType	m_R0
	r0 is a interval set in given coordinate system that represents 'Lipschitz' part More...

MatrixType	m_Cjac
	C is a coordinate system of the 'Lipschitz' part. More...

MatrixType	m_C
	C is a coordinate system of the 'Lipschitz' part. More...

VectorType	m_r0
	r0 is a interval set in given coordinate system that represents 'Lipschitz' part More...

VectorType	m_x
	x is a center of the set More...

MatrixType	m_B
	B is a coordinate system. More...

MatrixType	m_invB

VectorType	m_r
	r is a interval set in given coordinate system More...

MatrixType	m_D
	D is a center of the set. More...

MatrixType	m_Bjac
	Bjac is a coordinate system. More...

MatrixType	m_R
	R is a interval set in given coordinate system. More...

MatrixType	m_invBjac

MatrixType	jacRem

MatrixType	jacEnc

VectorType	x

VectorType	deltaX

VectorType	y

VectorType	deltaY

VectorType	rem

VectorType	enc

MatrixType	jacPhi

MatrixType	deltaC

MatrixType	B

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

Protected Attributes
ScalarType	m_currentTime

GeometricBound::MatrixType	m_currentMatrix

GeometricBound::MatrixType	m_lastMatrixEnclosure

GeometricBound::MatrixType ::RowVectorType	m_currentSet

GeometricBound::MatrixType ::RowVectorType	m_lastEnclosure

Member Typedef Documentation

◆ BaseSet

template<typename Policies >

typedef C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet<GeometricBound::MatrixType,Policies> > capd::pdes::C1DoubletonSetGeometricTail< Policies >::BaseSet

◆ C0BaseSet

typedef capd::geomset::CenteredDoubletonSet<GeometricBound::MatrixType > capd::dynset::C1DoubletonSet< GeometricBound::MatrixType , Policies >::C0BaseSet

inherited

◆ C1BaseSet

typedef capd::geomset::MatrixDoubletonSet<GeometricBound::MatrixType > capd::dynset::C1DoubletonSet< GeometricBound::MatrixType , Policies >::C1BaseSet

inherited

◆ ColumnVectorType [1/2]

typedef BaseSet::ColumnVectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::ColumnVectorType

inherited

◆ ColumnVectorType [2/2]

typedef BaseSet::ColumnVectorType capd::geomset::CenteredDoubletonSet< GeometricBound::MatrixType >::ColumnVectorType

inherited

◆ Data

template<typename Policies >

typedef capd::dynset::DoubletonData<MatrixType> capd::pdes::C1DoubletonSetGeometricTail< Policies >::Data

◆ DynSysType

template<typename Policies >

typedef capd::pdes::PdeSolver<VectorType> capd::pdes::C1DoubletonSetGeometricTail< Policies >::DynSysType

◆ FiniteDimensionalBaseSet

template<typename Policies >

typedef capd::dynset::C1DoubletonSet<GeometricBound::MatrixType,Policies> capd::pdes::C1DoubletonSetGeometricTail< Policies >::FiniteDimensionalBaseSet

◆ FiniteVectorType

template<typename Policies >

typedef MatrixType::RowVectorType capd::pdes::C1DoubletonSetGeometricTail< Policies >::FiniteVectorType

◆ MatrixArray

template<typename Policies >

typedef DynSysType::MatrixArray capd::pdes::C1DoubletonSetGeometricTail< Policies >::MatrixArray

◆ MatrixType

template<typename Policies >

typedef VectorType::MatrixType capd::pdes::C1DoubletonSetGeometricTail< Policies >::MatrixType

◆ NormType

template<typename Policies >

typedef capd::vectalg::MaxNorm<FiniteVectorType,MatrixType> capd::pdes::C1DoubletonSetGeometricTail< Policies >::NormType

◆ Policy

template<typename Policies >

typedef Policies capd::pdes::C1DoubletonSetGeometricTail< Policies >::Policy

◆ RealMatrix

typedef MatrixType::template rebind<typename ScalarType::BoundType>::other capd::geomset::AffineSet< GeometricBound::MatrixType >::RealMatrix

inherited

◆ RealVector

typedef VectorType::template rebind<typename ScalarType::BoundType>::other capd::geomset::AffineSet< GeometricBound::MatrixType >::RealVector

inherited

◆ ScalarType

template<typename Policies >

typedef MatrixType::ScalarType capd::pdes::C1DoubletonSetGeometricTail< Policies >::ScalarType

◆ SetType

template<typename Policies >

typedef capd::dynset::C1Set<MatrixType>::SetType capd::pdes::C1DoubletonSetGeometricTail< Policies >::SetType

◆ size_type

template<typename Policies >

typedef MatrixType::size_type capd::pdes::C1DoubletonSetGeometricTail< Policies >::size_type

◆ VectorArray

template<typename Policies >

typedef std::vector<VectorType> capd::pdes::C1DoubletonSetGeometricTail< Policies >::VectorArray

◆ VectorType

template<typename Policies >

typedef capd::pdes::GeometricBound capd::pdes::C1DoubletonSetGeometricTail< Policies >::VectorType

Constructor & Destructor Documentation

◆ C1DoubletonSetGeometricTail() [1/4]

template<typename Policies >

capd::pdes::C1DoubletonSetGeometricTail< Policies >::C1DoubletonSetGeometricTail	(	const VectorType &	x,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

inline

◆ C1DoubletonSetGeometricTail() [2/4]

template<typename Policies >

capd::pdes::C1DoubletonSetGeometricTail< Policies >::C1DoubletonSetGeometricTail	(	const VectorType &	x,
		const FiniteVectorType &	r0,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

inline

◆ C1DoubletonSetGeometricTail() [3/4]

template<typename Policies >

capd::pdes::C1DoubletonSetGeometricTail< Policies >::C1DoubletonSetGeometricTail	(	const VectorType &	x,
		const MatrixType &	C,
		const FiniteVectorType &	r0,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

inline

◆ C1DoubletonSetGeometricTail() [4/4]

template<typename Policies >

capd::pdes::C1DoubletonSetGeometricTail< Policies >::C1DoubletonSetGeometricTail	(	const VectorType &	x,
		const MatrixType &	C,
		const FiniteVectorType &	r0,
		const MatrixType &	B,
		const FiniteVectorType &	r,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

inline

Member Function Documentation

◆ affineMatrixTransformation()

MatrixDoubletonSet< MatrixType >::MatrixType capd::geomset::MatrixDoubletonSet< MatrixType >::affineMatrixTransformation ( const MatrixType & A_M ) const

virtualinherited

returns image of the set after affine transformation

makes affine transformation of set, transformation is given by matrix M result = M * set

Reimplemented from capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >.

◆ affineTransformation() [1/2]

VectorType capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::affineTransformation	(	const MatrixType &	A,
		const VectorType &	c
	)		const

inlineinherited

◆ affineTransformation() [2/2]

DoubletonSet< MatrixType >::VectorType capd::geomset::DoubletonSet< MatrixType >::affineTransformation	(	const MatrixType &	M,
		const VectorType &	x0
	)		const

virtualinherited

This method computes value of an affine map f at interval vector represented by this set. This set is represented as tripleton X=x+C*r0+intersection(B*r,Q*q). Then f(X) = M*(X-x0) can be computed as M*(x-x0) + (M*C)*r0 + intersection( M*B)*r, (M*Q)*q )

Reimplemented from capd::geomset::AffineSet< GeometricBound::MatrixType >.

◆ degree()

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

inlinestaticinherited

◆ dimension()

size_type capd::geomset::AffineSet< GeometricBound::MatrixType >::dimension ( ) const

inlineinherited

returns dimension of a set

◆ evalAffineFunctional()

DoubletonSet< MatrixType >::ScalarType capd::geomset::DoubletonSet< MatrixType >::evalAffineFunctional	(	const VectorType &	gradient,
		const VectorType &	x0
	)		const

virtualinherited

This method computes value of an affine functional f at the vector represented by this set. This set is represented as doubleton X=x+C*r0+B*r. Then f(X) = grad*(X-x0) can be computed as grad*(x-x0) + (grad*C)*r0 + (grad*B)*r.

Reimplemented from capd::geomset::AffineSet< GeometricBound::MatrixType >.

◆ evalAt()

ScalarType capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::evalAt ( const Functional & f ) const

inlineinherited

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

◆ finalizeMove()

void capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::finalizeMove ( C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > > & result ) const

inherited

◆ get_B()

const MatrixType& capd::geomset::AffineSet< GeometricBound::MatrixType >::get_B ( ) const

inlineinherited

◆ get_Bjac()

const MatrixType& capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::get_Bjac

inlineinherited

◆ get_Cjac()

const MatrixType& capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::get_Cjac

inlineinherited

◆ get_D()

const MatrixType& capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::get_D

inlineinherited

◆ get_invB()

const MatrixType& capd::geomset::AffineSet< GeometricBound::MatrixType >::get_invB ( ) const

inlineinherited

◆ get_invBjac()

const MatrixType& capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::get_invBjac

inlineinherited

◆ get_R()

const MatrixType& capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::get_R

inlineinherited

◆ get_r()

const VectorType& capd::geomset::AffineSet< GeometricBound::MatrixType >::get_r ( ) const

inlineinherited

◆ get_R0()

const MatrixType& capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::get_R0

inlineinherited

◆ get_x()

const VectorType& capd::geomset::AffineSet< GeometricBound::MatrixType >::get_x ( ) const

inlineinherited

◆ getColumn_B()

ColumnVectorType capd::geomset::AffineSet< GeometricBound::MatrixType >::getColumn_B ( size_type j ) const

inlineinherited

◆ getColumn_Bjac()

ColumnVectorType capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getColumn_Bjac ( size_type j ) const

inlineinherited

◆ getColumn_Cjac() [1/2]

ColumnVectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getColumn_Cjac ( size_type j ) const

inlineinherited

◆ getColumn_Cjac() [2/2]

ColumnVectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getColumn_Cjac

inlineinherited

◆ getColumn_D()

ColumnVectorType capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getColumn_D ( size_type j ) const

inlineinherited

◆ getColumn_R()

ColumnVectorType capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getColumn_R ( size_type j ) const

inlineinherited

◆ getColumn_R0() [1/2]

ColumnVectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getColumn_R0 ( size_type j ) const

inlineinherited

◆ getColumn_R0() [2/2]

ColumnVectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getColumn_R0

inlineinherited

◆ getCurrentSeries()

const VectorType& capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::getCurrentSeries

inlineinherited

◆ getCurrentTime()

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

inlineinherited

◆ getElement_B()

const ScalarType& capd::geomset::AffineSet< GeometricBound::MatrixType >::getElement_B	(	size_type	i,
		size_type	j
	)		const

inlineinherited

◆ getElement_Bjac()

const ScalarType& capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getElement_Bjac	(	size_type	i,
		size_type	j
	)		const

inlineinherited

◆ getElement_Cjac() [1/2]

const ScalarType& capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getElement_Cjac	(	size_type	i,
		size_type	j
	)		const

inlineinherited

◆ getElement_Cjac() [2/2]

const ScalarType& capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getElement_Cjac

inlineinherited

◆ getElement_D()

const ScalarType& capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getElement_D	(	size_type	i,
		size_type	j
	)		const

inlineinherited

◆ getElement_r()

const ScalarType& capd::geomset::AffineSet< GeometricBound::MatrixType >::getElement_r ( size_type i ) const

inlineinherited

◆ getElement_R()

const ScalarType& capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getElement_R	(	size_type	i,
		size_type	j
	)		const

inlineinherited

◆ getElement_R0() [1/2]

const ScalarType& capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getElement_R0	(	size_type	i,
		size_type	j
	)		const

inlineinherited

◆ getElement_R0() [2/2]

const ScalarType& capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getElement_R0

inlineinherited

◆ getElement_x()

const ScalarType& capd::geomset::AffineSet< GeometricBound::MatrixType >::getElement_x ( int i ) const

inlineinherited

◆ getLastEnclosure()

const VectorType& capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::getLastEnclosure

inlineinherited

◆ getLastMatrixEnclosure()

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

inlineinherited

◆ getRow_B()

VectorType capd::geomset::AffineSet< GeometricBound::MatrixType >::getRow_B ( size_type i ) const

inlineinherited

◆ getRow_Bjac()

VectorType capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getRow_Bjac ( size_type i ) const

inlineinherited

◆ getRow_Cjac() [1/2]

VectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getRow_Cjac ( size_type i ) const

inlineinherited

◆ getRow_Cjac() [2/2]

VectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getRow_Cjac

inlineinherited

◆ getRow_D()

VectorType capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getRow_D ( size_type i ) const

inlineinherited

◆ getRow_R()

VectorType capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::getRow_R ( size_type i ) const

inlineinherited

◆ getRow_R0() [1/2]

VectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getRow_R0 ( size_type i ) const

inlineinherited

◆ getRow_R0() [2/2]

VectorType capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::getRow_R0

inlineinherited

◆ getVyxNorm()

template<typename Policies >

template<class Container >

ScalarType capd::pdes::C1DoubletonSetGeometricTail< Policies >::getVyxNorm ( Container & J ) const

inline

Here we compute operator norm of f:R^n\to l_\infty In R^n we assume l_2 norm. Hence, operator norm is given by supremum of l_2 norms of rows. This can be also bouned by supremum of l_1 norms of rows.

first check finite number of rows, where the coefficients are given explicitly.

check the first row which is bounded uniformly as a geometric series.

◆ ind() [1/2]

template<typename Policies >

const VectorType& capd::pdes::C1DoubletonSetGeometricTail< Policies >::ind	(	MatrixArray &	J,
		int	j
	)		const

inline

◆ ind() [2/2]

template<typename Policies >

const VectorType& capd::pdes::C1DoubletonSetGeometricTail< Policies >::ind	(	VectorArray &	J,
		int	j
	)		const

inline

◆ initC1()

template<typename Policies >

void capd::pdes::C1DoubletonSetGeometricTail< Policies >::initC1 ( )

inline

◆ initMove()

void capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::initMove ( C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > > & result ) const

inherited

◆ move() [1/6]

void capd::dynset::C1DoubletonSet< MatrixType, Policies >::move	(	const C1BaseSet &	set,
		C1BaseSet &	result,
		MatrixType &	bound,
		Data &	data
	)

staticinherited

this computes next representation of the set given computed one-step enclosure of the form y + jacPhi*deltaX + rem

◆ move() [2/6]

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

pure virtualinherited

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

◆ move() [3/6]

void capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::move ( DynSysType & dynsys )

inlineinherited

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

◆ move() [4/6]

template<typename Policies >

void capd::pdes::C1DoubletonSetGeometricTail< Policies >::move ( DynSysType & dynsys )

inline

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

◆ move() [5/6]

void capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::move	(	DynSysType &	dynsys,
		C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > > &	result
	)		const

inlineinherited

computes image of the set after one step/iterate of the dynamical system and stores it in result

◆ move() [6/6]

void capd::dynset::C1DoubletonSet< MatrixType, Policies >::move	(	DynSysType &	dynsys,
		C1DoubletonSet< GeometricBound::MatrixType, Policies > &	result
	)		const

inherited

computes image of the set after one step/iterate of the dynamical system and stores it in result

◆ name() [1/2]

template<typename Policies >

std::string capd::pdes::C1DoubletonSetGeometricTail< Policies >::name ( ) const

inline

◆ name() [2/2]

std::string capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::name

inlinevirtualinherited

Reimplemented from capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies >.

◆ operator GeometricBound::MatrixType()

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

inlinevirtualinherited

returns an enclosure of derivative in the canonical coordinates

◆ operator GeometricBound::MatrixType ::RowVectorType()

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

inlinevirtualinherited

returns an enclosure of the set in the canonical coordinates

◆ operator MatrixType()

capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::operator MatrixType

inherited

◆ operator VectorType()

capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::operator VectorType

inlinevirtualinherited

Implements capd::dynset::AbstractSet< GeometricBound::MatrixType ::RowVectorType >.

◆ refCurrentTime()

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

inlineinherited

◆ set_B()

void capd::geomset::AffineSet< GeometricBound::MatrixType >::set_B ( const MatrixType & B )

inlineinherited

◆ set_Bjac()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::set_Bjac ( const MatrixType & Bjac )

inlineinherited

◆ set_Cjac()

void capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::set_Cjac ( const MatrixType & C )

inlineinherited

◆ set_D()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::set_D ( const MatrixType & Bjac )

inlineinherited

◆ set_invB()

void capd::geomset::AffineSet< GeometricBound::MatrixType >::set_invB ( const MatrixType & B )

inlineinherited

◆ set_R()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::set_R ( const MatrixType & Bjac )

inlineinherited

◆ set_r()

void capd::geomset::AffineSet< GeometricBound::MatrixType >::set_r ( const VectorType & r )

inlineinherited

◆ set_R0()

void capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::set_R0 ( const MatrixType & R0 )

inlineinherited

◆ set_x()

void capd::geomset::AffineSet< GeometricBound::MatrixType >::set_x ( const VectorType & x )

inlineinherited

◆ setColumn_B()

void capd::geomset::AffineSet< GeometricBound::MatrixType >::setColumn_B	(	size_type	j,
		const VectorT &	v
	)

inlineinherited

◆ setColumn_Bjac()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::setColumn_Bjac	(	size_type	j,
		const VectorT &	v
	)

inlineinherited

◆ setColumn_Cjac()

void capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::setColumn_Cjac	(	size_type	j,
		const VectorT &	v
	)

inlineinherited

◆ setColumn_D()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::setColumn_D	(	size_type	j,
		const VectorT &	v
	)

inlineinherited

◆ setColumn_R()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::setColumn_R	(	size_type	j,
		const VectorT &	v
	)

inlineinherited

◆ setColumn_R0()

void capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::setColumn_R0	(	size_type	j,
		const VectorT &	v
	)

inlineinherited

◆ setCurrentSet()

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

inlineinherited

◆ setCurrentTime()

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

inlineinherited

◆ setElement_B()

void capd::geomset::AffineSet< GeometricBound::MatrixType >::setElement_B	(	size_type	i,
		size_type	j,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_Bjac()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::setElement_Bjac	(	size_type	i,
		size_type	j,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_Cjac()

void capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::setElement_Cjac	(	size_type	i,
		size_type	j,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_D()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::setElement_D	(	size_type	i,
		size_type	j,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_r()

void capd::geomset::AffineSet< GeometricBound::MatrixType >::setElement_r	(	size_type	i,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_R()

void capd::geomset::MatrixAffineSet< GeometricBound::MatrixType >::setElement_R	(	size_type	i,
		size_type	j,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_R0()

void capd::geomset::MatrixDoubletonSet< GeometricBound::MatrixType >::setElement_R0	(	size_type	i,
		size_type	j,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_x()

void capd::geomset::AffineSet< GeometricBound::MatrixType >::setElement_x	(	size_type	i,
		const ScalarType &	s
	)

inlineinherited

◆ setLastEnclosure()

void capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >::setLastEnclosure ( const VectorType & enc )