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:
-
In the destructive semantics, after the call the
first abstract value in the arguments of the function is destroyed and
should not be referenced any more. Although the returned value might
actually be equal to the (destroyed) argument, the user just
manipulates the returned value and never refers directly to the
(destroyed) argument.
-
In the functional semantics, the first abstract value in the
arguments is neither (semantically) modified nor deallocated.
Constructors, Accessors, Tests and Extraction of properties
Operations
Additional functions
This document was generated
by Bertrand Jeannet on December, 22 2009
using texi2html