Data types for interval arithmetic. More...

#include "capd/intervals/lib.h"
#include "capd/rounding/DoubleRounding.h"
#include "chomp/system/textfile.h"

Typedefs
typedef capd::DInterval	IntervalType
	The type of an interval (from the CAPD library 2.9/3.0 beta). More...

Functions
void	resetRounding ()
	This function resets rounding switches of the processor and sets rounding to the nearest. More...

bool	testIntervals (bool throwException=false)
	Testing interval arithmetic. More...

Detailed Description

Data types for interval arithmetic.

Author: Pawel Pilarczyk

Definition in file typeintv.h.

Typedef Documentation

◆ IntervalType

typedef capd::DInterval IntervalType

The type of an interval (from the CAPD library 2.9/3.0 beta).

Definition at line 49 of file typeintv.h.

Function Documentation

◆ resetRounding()

void resetRounding ( )

inline

This function resets rounding switches of the processor and sets rounding to the nearest.

It is necessary in some cases, e.g., if the CAPD leaves incorrect rounding mode after doing some interval operations.

Definition at line 65 of file typeintv.h.

Referenced by MapDifference::compute(), MapGlobCLog::compute(), MapHarvesting::compute(), MapHenon::compute(), MapNeuron1::compute(), MapPeriodic::compute(), MapPopModel::compute(), StandardMap::compute(), MapTwoCirc::compute(), MapTwoTorus::compute(), MapVanderPol1::compute(), MapWhales::compute(), MapTight::compute(), MapOdeTimeT::compute(), MapComputation< mapcomp, cubetype, cubsettype >::compute(), computeMorseDecomposition(), coverRectSet(), MapOdeTimeT::MapOdeTimeT(), MapComputationTight< mapcomp, cubetype, cubsettype >::operator()(), MapDistance< cubetype, cubsettype >::operator()(), MapOdeTimeT::setParam(), testIntervals(), and MapOdeTimeT::~MapOdeTimeT().

◆ testIntervals()

bool testIntervals ( bool throwException = false )

inline

Testing interval arithmetic.

This simple function runs a very basic test on whether the interval arithmetic and the rounding directions work correctly. It returns 'true' if everything seems to be fine, or throws an exception (if requested to) or just returns 'false' if there is something obviously wrong with the interval arithmetic.

Definition at line 82 of file typeintv.h.

References resetRounding().

Referenced by MapComputation< mapcomp, cubetype, cubsettype >::MapComputation(), MapDifference::MapDifference(), MapGlobCLog::MapGlobCLog(), MapHarvesting::MapHarvesting(), MapHenon::MapHenon(), MapNeuron1::MapNeuron1(), MapOdeTimeT::MapOdeTimeT(), MapPeriodic::MapPeriodic(), MapPopModel::MapPopModel(), MapTwoCirc::MapTwoCirc(), MapTwoTorus::MapTwoTorus(), MapVanderPol1::MapVanderPol1(), MapWhales::MapWhales(), and StandardMap::StandardMap().