CAPD DynSys Library  5.2.0
capd::diffIncl Namespace Reference

A rigorous integration of the differential inclusions. More...

Classes

class  DiffInclusion
 Base class for rigorous integration of differential inclusions. More...
 
class  DiffInclusionCW
 Class for rigorous integration of differential inclusions. More...
 
class  DiffInclusionLN
 Class for rigorous integration of differential inclusions. More...
 
struct  DiffInclusionSetMove
 
class  InclRect2Set
 Set representation for differential inclusions based on capd::dynset::Rect2Set class. More...
 
class  MultiMap
 A multi map for differential inclusions. More...
 

Functions

template<typename MatrixType >
std::vector< typename MatrixType::VectorType > getCorners (const capd::diffIncl::InclRect2Set< MatrixType > &set)
 C0set interface overriding. More...
 
template<typename T >
void corners (T &head, const T &tail, int i, int dim, std::vector< T > &cor)
 
template<typename SetType >
std::vector< typename SetType::VectorType > getCorners (const SetType &set)
 

Detailed Description

A rigorous integration of the differential inclusions.

Function Documentation

◆ corners()

template<typename T >
void capd::diffIncl::corners ( T &  head,
const T &  tail,
int  i,
int  dim,
std::vector< T > &  cor 
)

◆ getCorners() [1/2]

template<typename MatrixType >
std::vector< typename MatrixType::VectorType > capd::diffIncl::getCorners ( const InclRect2Set< MatrixType > &  set)

C0set interface overriding.

◆ getCorners() [2/2]

template<typename SetType >
std::vector<typename SetType::VectorType> capd::diffIncl::getCorners ( const SetType &  set)