CAPD::DynSys Library
6.0.0
|
This file defines an abstract class that represents parametric curve in . More...
#include <capd/diffAlgebra/ParametricCurve.h>
Public Types | |
typedef MatrixT | MatrixType |
typedef VectorT | VectorType |
typedef MatrixType::ScalarType | ScalarType |
typedef TypeTraits< ScalarType >::Real | Real |
typedef Hessian< ScalarType, VectorType::csDim, VectorType::csDim > | HessianType |
typedef Jet< MatrixType, 0 > | JetType |
Public Member Functions | |
ParametricCurve (Real left, Real right) | |
virtual | ~ParametricCurve () |
virtual VectorType | operator() (const ScalarType &h) const =0 |
virtual MatrixType | derivative (const ScalarType &h) const =0 |
virtual MatrixType | operator[] (const ScalarType &h) const =0 |
virtual HessianType | hessian (const ScalarType &) const |
virtual JetType | jet (const ScalarType &) const |
virtual void | eval (ScalarType, JetType &) const |
virtual void | setDomain (Real left, Real right) |
virtual Real | getLeftDomain () const |
virtual Real | getRightDomain () const |
Protected Attributes | |
Real | m_left |
Real | m_right |
domain More... | |
This file defines an abstract class that represents parametric curve in .
We do not specify how it is represented in the memory.
The curve can be evaluated at given time 't' as well as differentiated with respect to 't'.
The curve can store rigorous enclosures of curves.
The main template parameter is an abstract class that represent a piece of curve as one polynomial.
typedef Hessian<ScalarType,VectorType::csDim,VectorType::csDim> capd::diffAlgebra::ParametricCurve< MatrixT, VectorT >::HessianType |
typedef Jet<MatrixType,0> capd::diffAlgebra::ParametricCurve< MatrixT, VectorT >::JetType |
typedef MatrixT capd::diffAlgebra::ParametricCurve< MatrixT, VectorT >::MatrixType |
typedef TypeTraits<ScalarType>::Real capd::diffAlgebra::ParametricCurve< MatrixT, VectorT >::Real |
typedef MatrixType::ScalarType capd::diffAlgebra::ParametricCurve< MatrixT, VectorT >::ScalarType |
typedef VectorT capd::diffAlgebra::ParametricCurve< MatrixT, VectorT >::VectorType |
capd::diffAlgebra::ParametricCurve< MatrixT, VectorT >::ParametricCurve | ( | Real | left, |
Real | right | ||
) |
|
inlinevirtual |
|
pure virtual |
Implemented in capd::pdes::PdeCurve< SeriesT >, capd::pdes::PdeCurve< VectorType >, capd::diffAlgebra::SolutionCurve< CurveT, true >, capd::diffAlgebra::SolutionCurve< CurveT, isInterval >, capd::diffAlgebra::Curve< BaseCurveT, true >, capd::diffAlgebra::Curve< BaseCurveT, isInterval >, capd::diffAlgebra::Curve< BaseCurveT, capd::TypeTraits< typename BaseCurveT::ScalarType >::isInterval >, capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > >, and capd::diffAlgebra::Curve< capd::diffAlgebra::FadCurve< FadMapT::MatrixType > >.
|
inlinevirtual |
|
inlinevirtual |
Reimplemented in capd::diffAlgebra::BaseSolutionCurve< CurveT >.
|
inlinevirtual |
Reimplemented in capd::diffAlgebra::BaseSolutionCurve< CurveT >.
|
inlinevirtual |
Reimplemented in capd::diffAlgebra::SolutionCurve< CurveT, true >, capd::diffAlgebra::SolutionCurve< CurveT, isInterval >, capd::diffAlgebra::CnCurve< BaseCurveT, true >, capd::diffAlgebra::CnCurve< BaseCurveT, isInterval >, capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >, capd::diffAlgebra::C2Curve< BaseCurveT, true >, and capd::diffAlgebra::C2Curve< BaseCurveT, isInterval >.
|
inlinevirtual |
|
pure virtual |
Implemented in capd::pdes::PdeCurve< SeriesT >, capd::pdes::PdeCurve< VectorType >, capd::diffAlgebra::SolutionCurve< CurveT, true >, capd::diffAlgebra::SolutionCurve< CurveT, isInterval >, capd::diffAlgebra::Curve< BaseCurveT, true >, capd::diffAlgebra::Curve< BaseCurveT, isInterval >, capd::diffAlgebra::Curve< BaseCurveT, capd::TypeTraits< typename BaseCurveT::ScalarType >::isInterval >, capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > >, and capd::diffAlgebra::Curve< capd::diffAlgebra::FadCurve< FadMapT::MatrixType > >.
|
pure virtual |
Implemented in capd::pdes::PdeCurve< SeriesT >, capd::pdes::PdeCurve< VectorType >, capd::diffAlgebra::SolutionCurve< CurveT, true >, capd::diffAlgebra::SolutionCurve< CurveT, isInterval >, capd::diffAlgebra::Curve< BaseCurveT, true >, capd::diffAlgebra::Curve< BaseCurveT, isInterval >, capd::diffAlgebra::Curve< BaseCurveT, capd::TypeTraits< typename BaseCurveT::ScalarType >::isInterval >, capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > >, and capd::diffAlgebra::Curve< capd::diffAlgebra::FadCurve< FadMapT::MatrixType > >.
|
inlinevirtual |
|
protected |
|
protected |
domain