Level 1 of the interface
This interface of level 1 is defined in `ap_global1.h'.
The main functions brought by level 1 are
-
to convert variables to dimensions, thanks to the addition of
environements to objects;
-
to redimension (abstract values), expressions, constraints and
generators defined on different environements.
The policy for redimensioning is the following one:
-
For functions taking one abstract value and one expression (or
constraint or generator, or array of ...), the environement of the
expression should be a sub-environement of the environement of the
abstract value. The environement of the result is the environement of
the argument abstract value.
-
For functions taking several abstract values, their environements
should be the same. Otherwise, it is up to the user to move them to a
common super-environement (see Environements (`ap_environment.h') and Change of environements of abstract values of level 1).
This document was generated
on December, 22 2006
using texi2html