Accessors for abstract values of level 1
- Function: ap_dimension_t ap_abstract1_environment (ap_manager_t* man, ap_abstract1_t* a)
- Get a reference to the environment of a. Do not free it.
- Function: ap_manager_t* ap_abstract1_manager (ap_abstract1_t* a)
- Get a reference to the manager contained in a.
Do not free it.
- Function: ap_dimension_t ap_abstract1_abstract0 (ap_manager_t* man, ap_abstract1_t* a)
- Get a reference to the underlying abstract value of level 0 in
a. Do not free it.
This document was generated
by Bertrand Jeannet on December, 22 2009
using texi2html