coverrect.h File Reference

Covering a rotated rectangular set or a paralellepiped with cubes with respect to a fixed grid in R^n. More...

#include <iostream>
#include <algorithm>
#include <string>
#include <new>
#include "chomp/system/config.h"
#include "chomp/system/textfile.h"
#include "chomp/struct/autoarray.h"
#include "capd/fdcapdlib.h"
#include "typeintv.h"
#include "typerect.h"

Go to the source code of this file.

Macros
#define	CAPD_USER_NAMESPACE   capd
#define	CAPD_DEFAULT_DIMENSION   spaceDim

Functions
template<class DoubleArray1 , class DoubleArray2 , class CoordType , class CubSetType >
void	coverRectSet (const RectSetType &rectSet, const DoubleArray1 &offset, const DoubleArray2 &width, const CoordType *intWidth, int dim, CubSetType &image, const CoordType *left, const CoordType *right, const CubSetType *codomain, const CubSetType *disjoint)
	Covers a rectangular set by cubes with respect to a uniform subdivision of a rectangular area defined by the offset of the lower left corner and the width of the area. More...

Detailed Description

Covering a rotated rectangular set or a paralellepiped with cubes with respect to a fixed grid in R^n.

Author

Pawel Pilarczyk, Tomasz Kapela

Definition in file coverrect.h.

Macro Definition Documentation

CAPD_DEFAULT_DIMENSION

#define CAPD_DEFAULT_DIMENSION   spaceDim

Definition at line 54 of file coverrect.h.

CAPD_USER_NAMESPACE

#define CAPD_USER_NAMESPACE   capd

Definition at line 53 of file coverrect.h.

Function Documentation

coverRectSet()

template<class DoubleArray1 , class DoubleArray2 , class CoordType , class CubSetType >

void coverRectSet	(	const RectSetType &	rectSet,
		const DoubleArray1 &	offset,
		const DoubleArray2 &	width,
		const CoordType *	intWidth,
		int	dim,
		CubSetType &	image,
		const CoordType *	left,
		const CoordType *	right,
		const CubSetType *	codomain,
		const CubSetType *	disjoint
	)

Covers a rectangular set by cubes with respect to a uniform subdivision of a rectangular area defined by the offset of the lower left corner and the width of the area.

Parameters

rectSet	- the rectangular set to be covered
offset	- the real offset of the central box in the phase space
width	- the real width of the central box in the phase space
intWidth	- the width of the grid on the central box in each direction
dim	- the dimension of the phase space
image	- the set of cubes in which to store the cubes that cover the given rectangular set
left	- the left bound on grid elements in the image
right	- the right bound on grid elements in the image
codomain	- a codomain (possibly very large) to which the image should be restricted
disjoint	- a set of cubes from which the image should be disjoint (these cubes are not added even if they might actually intersect the rectangular set)

Definition at line 91 of file coverrect.h.

References disjoint(), PREDICTOR_CORRECTOR, and resetRounding().

Referenced by MapComputationTight< mapcomp, cubetype, cubsettype >::operator()().