Abstract values and operations of level 1 (`ap_abstract1.h')

datatype: ap_abstract1_t

Datatype for abstract values at level 1.

For information:

typedef struct ap_abstract1_t { ap_abstract0_t* abstract0; ap_environment_t* env; } ap_abstract1_t; /* data structure invariant: ap_abstract0_integer_dimension(man,abstract0)== env->intdim && ap_abstract0_real_dimension(man,abstract0)== env->realdim */

datatype: ap_box1_t

typedef struct ap_box1_t { ap_interval_t** p; ap_environment_t* env; } ap_box1_t; void ap_box1_fprint(FILE* stream, ap_box1_t* box); void ap_box1_clear(ap_box1_t* box);

Most operations are offered in 2 versions: functional or destructive See section Abstract values and operations of level 0 (`ap_abstract0.h').

We remind the policy for redimensioning (see section Level 1 of the interface):

• 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 section Environments (`ap_environment.h')).

Allocating abstract values of level 1
Control of internal representation of abstract values of level 1
Printing abstract values of level 1
Serialization of abstract values of level 1

Constructors, Accessors, Tests and Extraction of properties

Constructors for abstract values of level 1
Accessors for abstract values of level 1
Tests on abstract values of level 1
Extraction of properties of abstract values of level 1

Operations

Meet and Join of abstract values of level 1
Assignements and Substitutions of abstract values of level 1
Existential quantification of abstract values of level 1
Change of environments of abstract values of level 1
Expansion and Folding of dimensions in abstract values of level 1
Widening of abstract values of level 1
Topological closure of abstract values of level 1

Additional functions

Additional functions on abstract values of level 1