MAP< _DIM > Class Template Reference

Map which arguments are cubes and values set of cubes. More...

#include <mapsetlib.h>

List of all members.

Public Member Functions
bool	restriction (const SET< _DIM > &dom, const SET< _DIM > &image)
	Function restricting the domain and values of the current map.
bool	imageRestriction (const SET< _DIM > &image)
	Function restricting values of the current map.
	MAP (int s=0)
bool	assign (const CUBE< _DIM > &k, const SET< _DIM > &s)
	Function assigning s parameter as the value of k parameter.
MAP	operator^ (int n) const
	Function constructing the power of the current map.
SET< _DIM >	operator() (const CUBE< _DIM > &k) const
SET< _DIM >	operator() (const SET< _DIM > &s) const
MAP	operator() (const MAP &m) const
	Function returns composition of two maps.
MAP	operator| (const SET< _DIM > &s) const
	Function restricting domain of the current map to s parameter.
int	giveScale () const
SET< _DIM >	dom () const
	Function returns domain of the current map.
SET< _DIM >	im () const
	Function returns image of the current map.
SET< _DIM >	invariant (const SET< _DIM > &s, MAP< _DIM > &inverse)
	Function computes the outer approximation of the invariant set.
Private Member Functions
SET< _DIM >	operator() (const Coords< _DIM, int > &c) const
bool	ERASE (MAP< _DIM > &g)
	Function used for computing the invariant set;.
bool	emptyWithDom (const SET< _DIM > &s) const
	Function used for computing the invariant set;.
Private Attributes
int	scale

---

Detailed Description

template<int _DIM>
class MAP< _DIM >

Map which arguments are cubes and values set of cubes.

Map inherits a standard template class map which arguments are Coords and values set of Coords. In this version it is assumed that all cubes and sets need to have the same scale parameters.

---

Constructor & Destructor Documentation

template<int _DIM>

MAP< _DIM >::MAP

(

int

s = 0

)

[inline]

---

Member Function Documentation

template<int _DIM>

SET< _DIM > MAP< _DIM >::operator()

(

const Coords< _DIM, int > &

c

)

const [inline, private]

template<int _DIM>

bool MAP< _DIM >::ERASE

(

MAP< _DIM > &

g

)

[inline, private]

Function used for computing the invariant set;.

template<int _DIM>

bool MAP< _DIM >::emptyWithDom

(

const SET< _DIM > &

s

)

const [inline, private]

Function used for computing the invariant set;.

template<int _DIM>

bool MAP< _DIM >::restriction	(	const SET< _DIM > &	dom,
		const SET< _DIM > &	image
	)			[inline]

Function restricting the domain and values of the current map.

It removes elements laying outside dom parameter from the current map domain. For each element that remains the value on this element is restricted to image parameter in the sense of taking product from this value with image parameter.

template<int _DIM>

bool MAP< _DIM >::imageRestriction

(

const SET< _DIM > &

image

)

[inline]

Function restricting values of the current map.

For each element from the current map its value is restricted to image parameter in the sense of taking product from this value with image parameter.

template<int _DIM>

bool MAP< _DIM >::assign	(	const CUBE< _DIM > &	k,
		const SET< _DIM > &	s
	)			[inline]

Function assigning s parameter as the value of k parameter.

template<int _DIM>

MAP< _DIM > MAP< _DIM >::operator^

(

int

n

)

const [inline]

Function constructing the power of the current map.

So far implemented only for -1 as a simple taking inversion.

template<int _DIM>

SET< _DIM > MAP< _DIM >::operator()

(

const CUBE< _DIM > &

k

)

const [inline]

template<int _DIM>

SET< _DIM > MAP< _DIM >::operator()

(

const SET< _DIM > &

s

)

const [inline]

template<int _DIM>

MAP< _DIM > MAP< _DIM >::operator()

(

const MAP< _DIM > &

m

)

const [inline]

Function returns composition of two maps.

template<int _DIM>

MAP< _DIM > MAP< _DIM >::operator|

(

const SET< _DIM > &

s

)

const [inline]

Function restricting domain of the current map to s parameter.

template<int _DIM>

int MAP< _DIM >::giveScale

(

)

const [inline]

template<int _DIM>

SET< _DIM > MAP< _DIM >::dom

(

)

const [inline]

Function returns domain of the current map.

template<int _DIM>

SET< _DIM > MAP< _DIM >::im

(

)

const [inline]

Function returns image of the current map.

template<int _DIM>

SET< _DIM > MAP< _DIM >::invariant	(	const SET< _DIM > &	s,
		MAP< _DIM > &	inverse
	)			[inline]

Function computes the outer approximation of the invariant set.

Function restricts values and images of the current map to its invariant set.s

Parameters:

	s	parameter describing a set in which the invariant set is supposed to be.
	inverse	inverse function which is used to compute invariant set.

---

Member Data Documentation

template<int _DIM>

int MAP< _DIM >::scale [private]

---

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

• mapsetlib.h