CAPD DynSys Library  5.2.0
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | Protected Member Functions | Protected Attributes | List of all members
capd::diffIncl::InclRect2Set< MatrixT > Class Template Referenceabstract

Set representation for differential inclusions based on capd::dynset::Rect2Set class. More...

#include <capd/diffIncl/InclRect2Set.h>

Public Types

typedef MatrixT MatrixType
 
typedef MatrixType::RowVectorType VectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef capd::vectalg::Norm< VectorType, MatrixType > NormType
 
typedef capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies > BaseSet
 
typedef MatrixType::size_type size_type
 
typedef C0Set< MatrixT >::SetType SetType
 
typedef C0Set< MatrixT >::DynSysType DynSysType
 
typedef DoubletonData< MatrixT > Data
 
typedef capd::C0Rect2Policies Policy
 
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

 InclRect2Set (const VectorType &the_x)
 Constructors. More...
 
 InclRect2Set (const VectorType &the_x, const VectorType &the_r0)
 
 InclRect2Set (const VectorType &the_x, const MatrixType &the_C, const VectorType &the_r0)
 
 InclRect2Set (const VectorType &the_x, const MatrixType &the_C, const VectorType &the_r0, const VectorType &the_r)
 
template<typename DiffIncl >
void move (DiffIncl &dynsys)
 
template<typename DiffIncl >
void move (DiffIncl &dynsys, InclRect2Set &result) const
 
std::vector< VectorType > getCorners () 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...
 
ScalarType evalAt (const Functional &f) const
 This method computes value of functor f at interval vector represented by this set. More...
 
std::string show () const
 
std::string name () const
 returns set's name More...
 
std::string name () const
 
virtual 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 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)
 
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+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 ) 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+C*r0+B*r. Then f(X) = grad*(X-x0) can be computed as grad*(x-x0) + (grad*C)*r0 + (grad*B)*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)
 
template<typename VectorT >
void setRow_B (size_type i, const VectorT &v)
 
template<typename VectorT >
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

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 MatrixT::RowVectorType &enc)
 

Protected Attributes

double m_c0Factor
 
double m_c1Factor
 
double m_c2Factor
 
bool m_onoff
 
ScalarType m_currentTime
 
MatrixT::RowVectorType m_currentSet
 
MatrixT::RowVectorType m_lastEnclosure
 

Detailed Description

template<typename MatrixT>
class capd::diffIncl::InclRect2Set< MatrixT >

Set representation for differential inclusions based on capd::dynset::Rect2Set class.

set is represented as: x + C*r0 + B*r where C*r0 - basic 'Lipschitz part' B*r - QR-decomposition of the remaining errors

Member Typedef Documentation

◆ BaseSet

template<typename MatrixT >
typedef capd::dynset::C0DoubletonSet<MatrixT, capd::C0Rect2Policies> capd::diffIncl::InclRect2Set< MatrixT >::BaseSet

◆ ColumnVectorType

template<typename MatrixT >
typedef BaseSet::ColumnVectorType capd::geomset::CenteredDoubletonSet< MatrixT >::ColumnVectorType
inherited

◆ Data

typedef DoubletonData<MatrixT> capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::Data
inherited

◆ DynSysType

typedef C0Set<MatrixT>::DynSysType capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::DynSysType
inherited

◆ MatrixType

template<typename MatrixT >
typedef MatrixT capd::diffIncl::InclRect2Set< MatrixT >::MatrixType

◆ NormType

template<typename MatrixT >
typedef capd::vectalg::Norm<VectorType,MatrixType> capd::diffIncl::InclRect2Set< MatrixT >::NormType

◆ Policy

typedef capd::C0Rect2Policies capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::Policy
inherited

◆ RealMatrix

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

◆ RealVector

template<typename MatrixT >
typedef VectorType::template rebind<typename ScalarType::BoundType>::other capd::geomset::AffineSet< MatrixT >::RealVector
inherited

◆ ScalarType

template<typename MatrixT >
typedef MatrixType::ScalarType capd::diffIncl::InclRect2Set< MatrixT >::ScalarType

◆ SetType

typedef C0Set<MatrixT>::SetType capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::SetType
inherited

◆ size_type

typedef MatrixType::size_type capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::size_type
inherited

◆ VectorType

template<typename MatrixT >
typedef MatrixType::RowVectorType capd::diffIncl::InclRect2Set< MatrixT >::VectorType

Constructor & Destructor Documentation

◆ InclRect2Set() [1/4]

template<typename MatrixType >
capd::diffIncl::InclRect2Set< MatrixType >::InclRect2Set ( const VectorType &  the_x)
inlineexplicit

Constructors.

◆ InclRect2Set() [2/4]

template<typename MatrixType >
capd::diffIncl::InclRect2Set< MatrixType >::InclRect2Set ( const VectorType &  the_x,
const VectorType &  the_r0 
)
inline

◆ InclRect2Set() [3/4]

template<typename MatrixType >
capd::diffIncl::InclRect2Set< MatrixType >::InclRect2Set ( const VectorType &  the_x,
const MatrixType &  the_C,
const VectorType &  the_r0 
)
inline

◆ InclRect2Set() [4/4]

template<typename MatrixType >
capd::diffIncl::InclRect2Set< MatrixType >::InclRect2Set ( const VectorType &  the_x,
const MatrixType &  the_C,
const VectorType &  the_r0,
const VectorType &  the_r 
)
inline

Member Function Documentation

◆ degree()

template<typename MatrixT >
const static size_type capd::dynset::C0Set< MatrixT >::degree ( )
inlinestaticinherited

◆ dimension()

template<typename MatrixT >
size_type capd::geomset::AffineSet< MatrixT >::dimension ( ) const
inlineinherited

returns dimension of a set

◆ disableReorganization()

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

◆ evalAt()

ScalarType capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::evalAt ( const Functional &  f) const
inlineinherited

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

◆ get_B()

template<typename MatrixT >
const MatrixType& capd::geomset::AffineSet< MatrixT >::get_B ( ) const
inlineinherited

◆ get_invB()

template<typename MatrixT >
const MatrixType& capd::geomset::AffineSet< MatrixT >::get_invB ( ) const
inlineinherited

◆ get_r()

template<typename MatrixT >
const VectorType& capd::geomset::AffineSet< MatrixT >::get_r ( ) const
inlineinherited

◆ get_x()

template<typename MatrixT >
const VectorType& capd::geomset::AffineSet< MatrixT >::get_x ( ) const
inlineinherited

◆ getC0Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC0Factor
inlineinherited

returns current value of c0Factor;

◆ getC1Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC1Factor
inlineinherited

returns current value of c1Factor;

◆ getC2Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC2Factor
inlineinherited

returns current value of c2Factor;

◆ getColumn_B()

template<typename MatrixT >
ColumnVectorType capd::geomset::AffineSet< MatrixT >::getColumn_B ( size_type  j) const
inlineinherited

◆ getCorners()

template<typename MatrixType >
std::vector< typename InclRect2Set< MatrixType >::VectorType > capd::diffIncl::InclRect2Set< MatrixType >::getCorners

◆ getCurrentTime()

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

◆ getElement_B()

template<typename MatrixT >
const ScalarType& capd::geomset::AffineSet< MatrixT >::getElement_B ( size_type  i,
size_type  j 
) const
inlineinherited

◆ getElement_r()

template<typename MatrixT >
const ScalarType& capd::geomset::AffineSet< MatrixT >::getElement_r ( size_type  i) const
inlineinherited

◆ getElement_x()

template<typename MatrixT >
const ScalarType& capd::geomset::AffineSet< MatrixT >::getElement_x ( int  i) const
inlineinherited

◆ getLastEnclosure()

const MatrixT::RowVectorType & capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::getLastEnclosure
inlineinherited

◆ getRow_B()

template<typename MatrixT >
VectorType capd::geomset::AffineSet< MatrixT >::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
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]

template<typename MatrixType >
template<typename DiffIncl >
void capd::diffIncl::InclRect2Set< MatrixType >::move ( DiffIncl &  dynsys)

◆ move() [3/5]

template<typename MatrixType >
template<typename DiffIncl >
void capd::diffIncl::InclRect2Set< MatrixType >::move ( DiffIncl &  dynsys,
InclRect2Set< MatrixT > &  result 
) const

◆ move() [4/5]

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

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

Implements capd::dynset::C0Set< MatrixT >.

◆ move() [5/5]

void capd::dynset::C0DoubletonSet< MatrixType, capd::C0Rect2Policies >::move ( DynSysType &  dynsys,
C0DoubletonSet< MatrixT, 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/3]

template<typename MatrixT >
virtual std::string capd::geomset::CenteredDoubletonSet< MatrixT >::name ( ) const
inlinevirtualinherited

returns set's name

Reimplemented from capd::geomset::DoubletonSet< MatrixT >.

Reimplemented in capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies > >, capd::dynset::C0HODoubletonSet< MatrixT, Policies >, capd::dynset::C1DoubletonSet< MatrixT, Policies >, capd::dynset::C1DoubletonSet< GeometricBound::MatrixType, Policies >, capd::dynset::C0DoubletonSet< MatrixT, Policies >, capd::dynset::C0DoubletonSet< GeometricBound::MatrixType, capd::C0Rect2Policies >, capd::dynset::C2DoubletonSet< MatrixT, Policies >, capd::geomset::CenteredTripletonSet< MatrixT >, and capd::dynset::C11Rect2Set< MatrixT >.

◆ name() [2/3]

std::string capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::name
inlineinherited

returns set's name

◆ name() [3/3]

template<typename BasePolicy = DefaultPolicy>
std::string capd::dynset::FactorReorganization< BasePolicy >::name ( ) const
inlineinherited

◆ onoffReorganization()

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

sets the flag which controls possibility of reorganization to new value

◆ operator MatrixT::RowVectorType()

virtual capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::operator MatrixT::RowVectorType
inlinevirtualinherited

returns an enclosure of the set in the canonical coordinates

◆ operator VectorType() [1/2]

template<typename MatrixT >
capd::geomset::DoubletonSet< MatrixT >::operator VectorType ( ) const
inherited

◆ operator VectorType() [2/2]

virtual capd::dynset::AbstractSet< MatrixT::RowVectorType >::operator VectorType
pure virtualinherited

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

◆ refCurrentTime()

ScalarType& capd::diffAlgebra::TimeRange< MatrixT::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()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::set_B ( const MatrixType &  B)
inlineinherited

◆ set_invB()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::set_invB ( const MatrixType &  B)
inlineinherited

◆ set_r()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::set_r ( const VectorType &  r)
inlineinherited

◆ set_x()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::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()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::AffineSet< MatrixT >::setColumn_B ( size_type  j,
const VectorT &  v 
)
inlineinherited

◆ setCurrentSet()

void capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::setCurrentSet ( const MatrixT::RowVectorType &  x)
inlineinherited

◆ setCurrentTime()

void capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::setCurrentTime ( const ScalarType &  t)
inlineinherited

◆ setElement_B()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::setElement_B ( size_type  i,
size_type  j,
const ScalarType &  s 
)
inlineinherited

◆ setElement_r()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::setElement_r ( size_type  i,
const ScalarType &  s 
)
inlineinherited

◆ setElement_x()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::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()

void capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::setLastEnclosure ( const MatrixT::RowVectorType &  enc)
inlineprotectedinherited

◆ setRow_B()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::AffineSet< MatrixT >::setRow_B ( size_type  i,
const VectorT &  v 
)
inlineinherited

◆ setToIdentity()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::setToIdentity ( )
inlineinherited

◆ show()

std::string capd::dynset::C0DoubletonSet< MatrixType, capd::C0Rect2Policies >::show
virtualinherited

Implements capd::dynset::AbstractSet< MatrixT::RowVectorType >.

◆ toString()

std::string capd::dynset::FactorPolicy< DefaultPolicy >::toString
inlineinherited

Member Data Documentation

◆ m_B

template<typename MatrixT >
MatrixType capd::geomset::AffineSet< MatrixT >::m_B
inherited

B is a coordinate system.

◆ m_C

template<typename MatrixT >
MatrixType capd::geomset::DoubletonSet< MatrixT >::m_C
inherited

C is a coordinate system of the 'Lipschitz' part.

◆ m_c0Factor

double capd::dynset::FactorPolicy< DefaultPolicy >::m_c0Factor
protectedinherited

◆ m_c1Factor

double capd::dynset::FactorPolicy< DefaultPolicy >::m_c1Factor
protectedinherited

◆ m_c2Factor

double capd::dynset::FactorPolicy< DefaultPolicy >::m_c2Factor
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_invB

template<typename MatrixT >
MatrixType capd::geomset::AffineSet< MatrixT >::m_invB
inherited

◆ m_lastEnclosure

MatrixT::RowVectorType capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::m_lastEnclosure
protectedinherited

◆ m_onoff

bool capd::dynset::FactorPolicy< DefaultPolicy >::m_onoff
protectedinherited

◆ m_r

template<typename MatrixT >
VectorType capd::geomset::AffineSet< MatrixT >::m_r
inherited

r is a interval set in given coordinate system

◆ m_r0

template<typename MatrixT >
VectorType capd::geomset::DoubletonSet< MatrixT >::m_r0
inherited

r0 is a interval set in given coordinate system that represents 'Lipschitz' part

◆ m_x

template<typename MatrixT >
VectorType capd::geomset::AffineSet< MatrixT >::m_x
inherited

x is a center of the set