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

Abstract values and operations of level 0 (`ap_abstract0.h')

datatype: ap_abstract0_t
Datatype for abstract values at level 0.

Most operations are offered in 2 versions: functional or destructive. In such a case, the Boolean argument destructive controls the behaviour of the functionn:

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

Constructors, Accessors, Tests and Extraction of properties
Constructors for abstract values of level 0  
Accessors for abstract values of level 0  
Tests on abstract values of level 0  
Extraction of properties of abstract values of level 0  

Operations
Meet and Join of abstract values of level 0  
Assignements and Substitutions of abstract values of level 0  
Existential quantification of abstract values of level 0  
Change and permutation of dimensions of abstract values of level 0  
Expansion and Folding of dimensions in abstract values of level 0  
Widening of abstract values of level 0  
Topological closure of abstract values of level 0  

Additional functions
Additional functions on abstract values of level 0  


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

This document was generated on September, 10 2009 using texi2html