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
environments to objects;
- to redimension (abstract values), expressions, constraints and
generators defined on different environments.
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 environment of the
expression should be a sub-environment of the environment of the
abstract value. The environment of the result is the environment of
the argument abstract value.
- For functions taking several abstract values, their environments
should be the same. Otherwise, it is up to the user to move them
to a common super-environment (see Environments and
Change of environments of abstract values of level 1).