#include <capd/pdes/C0DoubletonSetGeometricTail.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 BaseT	FiniteDimensionalBaseSet

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

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

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

typedef FiniteDimensionalBaseSet::Policy	Policy

typedef capd::vectalg::Norm< VectorType, MatrixType >	NormType

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

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
	C0DoubletonSetGeometricTail (const VectorType &x, ScalarType t=TypeTraits< ScalarType >::zero())

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

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

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

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

template<class Functional >
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

	operator VectorType () const

std::string	name () const

const VectorType &	getCurrentSeries () const

void	setLastEnclosure (const VectorType &enc)

const VectorType &	getLastEnclosure () const

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

void	move (DynSysType &dynsys, C0DoubletonSet &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 &dynsys)=0
	computes image of the set after one step/iterate of the dynamical system More...

std::string	show () const

std::string	name () const
	returns set's name More...

template<class Vector >
bool	isReorganizationNeeded (const Vector &r, const Vector &r0) const

template<class SetType >
bool	isReorganizationNeeded (const SetType &result) const

template<class SetType >
bool	reorganizeIfNeeded (SetType &result) const
	makes reorganization if needed. More...

template<class Matrix1 , class Matrix2 , class Vector >
bool	reorganizeIfNeeded (Matrix1 &B, Matrix2 &invB, Vector &r, Matrix1 &C, Vector &r0) const

template<class SetType >
bool	isC1ReorganizationNeeded (const SetType &result) const

template<class Matrix >
bool	isC1ReorganizationNeeded (const Matrix &R, const Matrix &R0) const

template<class Matrix >
bool	reorganizeC1IfNeeded (Matrix &B, Matrix &invB, Matrix &R, Matrix &C, Matrix &R0) const

template<class SetType >
bool	reorganizeC1IfNeeded (SetType &result) const
	makes reorganization if needed. return true if reorganization was performed More...

template<class HessianT >
bool	isC2ReorganizationNeeded (const HessianT &R, const HessianT &R0) const

template<class MatrixT , class HessianT >
bool	reorganizeC2IfNeeded (MatrixT &B, MatrixT &invB, HessianT &R, MatrixT &C, HessianT &R0) const

template<class Matrix , class Hessian >
bool	reorganizeC2IfNeeded (Matrix &, Matrix &, Hessian &, Matrix &, Hessian &) const

void	reorganize (SetType &result) const

void	reorganize (Matrix1 &B, Matrix2 &invB, Vector &r, Matrix1 &C, Vector &r0) const

void	reorganizeC1 (SetType &result) const

void	reorganizeC1 (Matrix &B, Matrix &invB, Matrix &R, Matrix &C, Matrix &R0) const

void	reorganizeC2 (Matrix &B, Matrix &invB, HessianT &R, Matrix &C, HessianT &R0) const

void	setFactor (double A_factor)
	sets c0,c1,c2 factors to new value More...

void	setC0Factor (double A_factor)
	sets new value of c0Factor; More...

void	setC1Factor (double A_factor)
	sets new value of c1Factor; More...

void	setC2Factor (double A_factor)
	sets new value of c2Factor; More...

double	getC0Factor () const
	returns current value of c0Factor; More...

double	getC1Factor () const
	returns current value of c1Factor; More...

double	getC2Factor () const
	returns current value of c2Factor; More...

void	onoffReorganization (bool flag)
	sets the flag which controls possibility of reorganization to new value More...

bool	isReorganizationEnabled () const
	returns current value of the flag which controls possibility of reorganization More...

std::string	toString () const

std::string	toString () const

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

template<class VectorT , class MatrixT >
void	computeBinvB (MatrixT &B, MatrixT &invB, const VectorT &) const

void	disableReorganization ()

const ScalarType	getCurrentTime () const

ScalarType &	refCurrentTime ()

void	setCurrentTime (const ScalarType &t)

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

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	operator VectorType () const=0

	operator VectorType () 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...

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

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

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)

Static Public Member Functions
static void	move (const BaseSet &set, BaseSet &result, VectorType &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
VectorType	m_enc

VectorType	m_currentSeries

VectorType	m_tmp

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

VectorType	x

VectorType	deltaX

VectorType	y

VectorType	deltaY

VectorType	rem

VectorType	enc

MatrixType	jacPhi

MatrixType	deltaC

MatrixType	B

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

Protected Attributes
double	m_c0Factor

double	m_c1Factor

double	m_c2Factor

bool	m_onoff

ScalarType	m_currentTime

GeometricBound::MatrixType ::RowVectorType	m_currentSet

GeometricBound::MatrixType ::RowVectorType	m_lastEnclosure

Member Typedef Documentation

◆ BaseSet

typedef capd::geomset::CenteredDoubletonSet<GeometricBound::MatrixType > capd::dynset::C0DoubletonSet< GeometricBound::MatrixType , capd::C0Rect2Policies >::BaseSet

inherited

◆ ColumnVectorType

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

inherited

◆ Data

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef capd::dynset::DoubletonData<MatrixType> capd::pdes::C0DoubletonSetGeometricTail< BaseT >::Data

◆ DynSysType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

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

◆ FiniteDimensionalBaseSet

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef BaseT capd::pdes::C0DoubletonSetGeometricTail< BaseT >::FiniteDimensionalBaseSet

◆ FiniteVectorType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef MatrixType::RowVectorType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::FiniteVectorType

◆ MatrixType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef VectorType::MatrixType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::MatrixType

◆ NormType

typedef capd::vectalg::Norm<VectorType,MatrixType> capd::dynset::C0DoubletonSet< GeometricBound::MatrixType , capd::C0Rect2Policies >::NormType

inherited

◆ Policy

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef FiniteDimensionalBaseSet::Policy capd::pdes::C0DoubletonSetGeometricTail< BaseT >::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 BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef MatrixType::ScalarType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::ScalarType

◆ SetType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef capd::dynset::C0Set<MatrixType>::SetType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::SetType

◆ size_type

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef MatrixType::size_type capd::pdes::C0DoubletonSetGeometricTail< BaseT >::size_type

◆ VectorType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

typedef capd::pdes::GeometricBound capd::pdes::C0DoubletonSetGeometricTail< BaseT >::VectorType

Constructor & Destructor Documentation

◆ C0DoubletonSetGeometricTail() [1/4]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

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

inline

◆ C0DoubletonSetGeometricTail() [2/4]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

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

inline

◆ C0DoubletonSetGeometricTail() [3/4]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

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

inline

◆ C0DoubletonSetGeometricTail() [4/4]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

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

inline

Member Function Documentation

◆ affineTransformation() [1/2]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

VectorType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::affineTransformation	(	const MatrixType &	A,
		const VectorType &	c
	)		const

inline

◆ 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::C0Set< GeometricBound::MatrixType >::degree

inlinestaticinherited

◆ dimension()

size_type capd::geomset::AffineSet< GeometricBound::MatrixType >::dimension

inlineinherited

returns dimension of a set

◆ disableReorganization()

void capd::dynset::NoReorganization::disableReorganization ( )

inlineinherited

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

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

template<class Functional >

ScalarType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::evalAt ( const Functional & f ) const

inline

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

◆ get_B()

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

inlineinherited

◆ get_invB()

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

inlineinherited

◆ get_r()

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

inlineinherited

◆ get_x()

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

inlineinherited

◆ getC0Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC0Factor ( ) const

inlineinherited

returns current value of c0Factor;

◆ getC1Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC1Factor ( ) const

inlineinherited

returns current value of c1Factor;

◆ getC2Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC2Factor ( ) const

inlineinherited

returns current value of c2Factor;

◆ getColumn_B()

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

inlineinherited

◆ getCurrentSeries()

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

const VectorType& capd::pdes::C0DoubletonSetGeometricTail< BaseT >::getCurrentSeries ( ) const

inline

◆ getCurrentTime()

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

inlineinherited

◆ getElement_B()

const ScalarType& capd::geomset::AffineSet< GeometricBound::MatrixType >::getElement_B	(	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_x()

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

inlineinherited

◆ getLastEnclosure() [1/2]

const GeometricBound::MatrixType ::RowVectorType & capd::dynset::C0EnclosureHolder< GeometricBound::MatrixType ::RowVectorType >::getLastEnclosure

inlineinherited

◆ getLastEnclosure() [2/2]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

const VectorType& capd::pdes::C0DoubletonSetGeometricTail< BaseT >::getLastEnclosure ( ) const

inline

◆ getRow_B()

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

inlineinherited

◆ isC1ReorganizationNeeded() [1/2]

template<typename BasePolicy = DefaultPolicy>

template<class Matrix >

bool capd::dynset::FactorReorganization< BasePolicy >::isC1ReorganizationNeeded	(	const Matrix &	R,
		const Matrix &	R0
	)		const

inlineinherited

◆ isC1ReorganizationNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class SetType >

bool capd::dynset::FactorReorganization< BasePolicy >::isC1ReorganizationNeeded ( const SetType & result ) const

inlineinherited

◆ isC2ReorganizationNeeded()

template<typename BasePolicy = DefaultPolicy>

template<class HessianT >

bool capd::dynset::FactorReorganization< BasePolicy >::isC2ReorganizationNeeded	(	const HessianT &	R,
		const HessianT &	R0
	)		const

inlineinherited

◆ isReorganizationEnabled()

bool capd::dynset::FactorPolicy< DefaultPolicy >::isReorganizationEnabled ( ) const

inlineinherited

returns current value of the flag which controls possibility of reorganization

◆ isReorganizationNeeded() [1/2]

template<typename BasePolicy = DefaultPolicy>

template<class SetType >

bool capd::dynset::FactorReorganization< BasePolicy >::isReorganizationNeeded ( const SetType & result ) const

inlineinherited

◆ isReorganizationNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class Vector >

bool capd::dynset::FactorReorganization< BasePolicy >::isReorganizationNeeded	(	const Vector &	r,
		const Vector &	r0
	)		const

inlineinherited

◆ move() [1/5]

void capd::dynset::C0DoubletonSet< MatrixType, capd::C0Rect2Policies >::move	(	const BaseSet &	set,
		BaseSet &	result,
		VectorType &	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/5]

void capd::dynset::C0DoubletonSet< MatrixType, capd::C0Rect2Policies >::move ( DynSysType & dynsys )

inherited

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

◆ move() [3/5]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

void capd::pdes::C0DoubletonSetGeometricTail< BaseT >::move ( DynSysType & dynsys )

inline

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

◆ move() [4/5]

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

pure virtualinherited

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

◆ move() [5/5]

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

inherited

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

◆ name() [1/2]

std::string capd::dynset::C0DoubletonSet< GeometricBound::MatrixType , capd::C0Rect2Policies >::name

inlinevirtualinherited

returns set's name

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

◆ name() [2/2]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

std::string capd::pdes::C0DoubletonSetGeometricTail< BaseT >::name ( ) const

inline

◆ onoffReorganization()

void capd::dynset::FactorPolicy< DefaultPolicy >::onoffReorganization ( bool flag )

inlineinherited

sets the flag which controls possibility of reorganization to new value

◆ operator GeometricBound::MatrixType ::RowVectorType()

virtual capd::dynset::C0EnclosureHolder< GeometricBound::MatrixType ::RowVectorType >::operator GeometricBound::MatrixType ::RowVectorType

inlinevirtualinherited

returns an enclosure of the set in the canonical coordinates

◆ operator VectorType() [1/3]

capd::geomset::DoubletonSet< GeometricBound::MatrixType >::operator VectorType

inherited

◆ operator VectorType() [2/3]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound::MatrixType,capd::C0Rect2Policies>>

capd::pdes::C0DoubletonSetGeometricTail< BaseT >::operator VectorType ( ) const

inline

◆ operator VectorType() [3/3]

virtual capd::dynset::AbstractSet< GeometricBound::MatrixType ::RowVectorType >::operator VectorType

pure virtualinherited

Implemented in capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >.

◆ refCurrentTime()

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

inlineinherited

◆ reorganize() [1/2]

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganize	(	Matrix1 &	B,
		Matrix2 &	invB,
		Vector &	r,
		Matrix1 &	C,
		Vector &	r0
	)		const

inlineinherited

◆ reorganize() [2/2]

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganize ( SetType & result ) const

inlineinherited

◆ reorganizeC1() [1/2]

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganizeC1	(	Matrix &	B,
		Matrix &	invB,
		Matrix &	R,
		Matrix &	C,
		Matrix &	R0
	)		const

inlineinherited

◆ reorganizeC1() [2/2]

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganizeC1 ( SetType & result ) const

inlineinherited

◆ reorganizeC1IfNeeded() [1/2]

template<typename BasePolicy = DefaultPolicy>

template<class Matrix >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeC1IfNeeded	(	Matrix &	B,
		Matrix &	invB,
		Matrix &	R,
		Matrix &	C,
		Matrix &	R0
	)		const

inlineinherited

◆ reorganizeC1IfNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class SetType >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeC1IfNeeded ( SetType & result ) const

inlineinherited

makes reorganization if needed. return true if reorganization was performed

◆ reorganizeC2()

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganizeC2	(	Matrix &	B,
		Matrix &	invB,
		HessianT &	R,
		Matrix &	C,
		HessianT &	R0
	)		const

inlineinherited

◆ reorganizeC2IfNeeded() [1/2]

template<class Matrix , class Hessian >

bool capd::dynset::NoReorganization::reorganizeC2IfNeeded	(	Matrix &	,
		Matrix &	,
		Hessian &	,
		Matrix &	,
		Hessian &
	)		const

inlineinherited

◆ reorganizeC2IfNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class MatrixT , class HessianT >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeC2IfNeeded	(	MatrixT &	B,
		MatrixT &	invB,
		HessianT &	R,
		MatrixT &	C,
		HessianT &	R0
	)		const

inlineinherited

◆ reorganizeIfNeeded() [1/2]

template<typename BasePolicy = DefaultPolicy>

template<class Matrix1 , class Matrix2 , class Vector >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeIfNeeded	(	Matrix1 &	B,
		Matrix2 &	invB,
		Vector &	r,
		Matrix1 &	C,
		Vector &	r0
	)		const

inlineinherited

◆ reorganizeIfNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class SetType >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeIfNeeded ( SetType & result ) const

inlineinherited

makes reorganization if needed.

◆ set_B()

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

inlineinherited

◆ set_invB()

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

inlineinherited

◆ set_r()

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

inlineinherited

◆ set_x()

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

inlineinherited

◆ setC0Factor()

void capd::dynset::FactorPolicy< DefaultPolicy >::setC0Factor ( double A_factor )

inlineinherited

sets new value of c0Factor;

◆ setC1Factor()

void capd::dynset::FactorPolicy< DefaultPolicy >::setC1Factor ( double A_factor )

inlineinherited

sets new value of c1Factor;

◆ setC2Factor()

void capd::dynset::FactorPolicy< DefaultPolicy >::setC2Factor ( double A_factor )

inlineinherited

sets new value of c2Factor;

◆ setColumn_B()

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

inlineinherited

◆ setCurrentSet()

void capd::dynset::C0EnclosureHolder< GeometricBound::MatrixType ::RowVectorType >::setCurrentSet ( const GeometricBound::MatrixType ::RowVectorType & 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_r()

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

inlineinherited

◆ setElement_x()

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

inlineinherited

◆ setFactor()

void capd::dynset::FactorPolicy< DefaultPolicy >::setFactor ( double A_factor )

inlineinherited

sets c0,c1,c2 factors to new value

◆ setLastEnclosure() [1/2]

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