#include <mapsetlib.h>
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 |
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.
SET< _DIM > MAP< _DIM >::operator() | ( | const Coords< _DIM, int > & | c | ) | const [inline, private] |
Function used for computing the invariant set;.
Function used for computing the invariant set;.
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.
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.
bool MAP< _DIM >::assign | ( | const CUBE< _DIM > & | k, | |
const SET< _DIM > & | s | |||
) | [inline] |
Function assigning s parameter as the value of k parameter.
Function constructing the power of the current map.
So far implemented only for -1 as a simple taking inversion.
Function returns composition of two maps.
Function restricting domain of the current map to s parameter.
int MAP< _DIM >::giveScale | ( | ) | const [inline] |
Function returns domain of the current map.
Function returns image of the current map.
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
s | parameter describing a set in which the invariant set is supposed to be. | |
inverse | inverse function which is used to compute invariant set. |