codac2::CtcLohner Class Reference

The Lohner contractor uses Lohner's guaranteed integration algorithm to contract a tube according to a differential equation. More...

#include <codac2_CtcLohner.h>

Public Member Functions
	CtcLohner (const AnalyticFunction< VectorType > &f, int contractions=5, double eps=0.1)
	Creates the contractor.
void	contract (SlicedTube< IntervalVector > &tube, TimePropag t_propa=TimePropag::FWD_BWD) const
	Applies \(\mathcal{C}_{\textrm{Lohner}}\big([\mathbf{x}]\big)\).

Protected Attributes
AnalyticFunction< VectorType >	_f
	forward function
int	_contractions
	number of contractions of the global enclosure by the estimated local enclosure
int	_dim
	dimension of the state vector
double	_eps
	inflation parameter for the global enclosure

Detailed Description

The Lohner contractor uses Lohner's guaranteed integration algorithm to contract a tube according to a differential equation.

Constructor & Destructor Documentation

CtcLohner()

codac2::CtcLohner::CtcLohner	(	const AnalyticFunction< VectorType > &	f,
		int	contractions = 5,
		double	eps = 0.1 )

Creates the contractor.

Parameters

f	function defining the system \(\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})\)
contractions	number of contractions of the global enclosure by the estimated local enclosure
eps	inflation parameter for the global enclosure

Member Function Documentation

contract()

void codac2::CtcLohner::contract	(	SlicedTube< IntervalVector > &	tube,
		TimePropag	t_propa = TimePropag::FWD_BWD ) const

Applies \(\mathcal{C}_{\textrm{Lohner}}\big([\mathbf{x}]\big)\).

Parameters

tube	SlicedTube to contract
t_propa	time propagation direction (forward, backward or both)

---

The documentation for this class was generated from the following file:

• /home/simon/codac-simon/src/core/contractors/codac2_CtcLohner.h