[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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 */ |
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
Additional functions
Additional functions on abstract values of level 1
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |