[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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):

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  


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated on September, 10 2009 using texi2html