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

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 on September, 10 2009 using texi2html