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 (`ap_environment.h') and
Change of environments of abstract values of level 1).
This document was generated
on September, 10 2009