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

Functions related to managers

Function: void ap_manager_free (ap_manager_t* man)
Free a manager (dereference a counter, and possibly deallocate).

Function: const char* ap_manager_get_library (ap_manager_t* man)
Function: const char* ap_manager_get_version (ap_manager_t* man)
Reading the name and the version of the attached underlying library.

Function: bool ap_manager_get_flag_exact (ap_manager_t* man)
Function: bool ap_manager_get_flag_best (ap_manager_t* man)
Return true if the last called APRON function returned an exact (resp. a best approximation) result.

Options

See ap_funopt_t.
Function: ap_funopt_t ap_manager_get_funopt (ap_manager_t* man, ap_funid_t funid)
Getting the option attached to the specified function in the manager. funid should be less than AP_FUNID_SIZE (no option associated to other identifiers). Otherwise, abort with a message.
Function: void ap_manager_set_funopt (ap_manager_t* man, ap_funid_t funid, ap_funopt_t* fopt)
Setting the option attached to the specified function in the manager. fopt is copied (and not only referenced). funid should be less than AP_FUNID_SIZE (no option associated to other identifiers). Otherwise, do nothing.
Function: void ap_funopt_init (ap_funopt_t* fopt)
Initialize fopt with default values.

Exceptions

Function: bool ap_manager_get_abort_if_exception (ap_manager_t* man, ap_exc_t exn)
Return true if the program abort when the exception exn is raised by some function. Otherwise, in such a case, a valid (but dummy) value should be returned by the function that raises the exception.
Function: void ap_manager_set_abort_if_exception (ap_manager_t* man, ap_exc_t exn, bool flag)
Position the above-described option.

Function: ap_exc_t ap_manager_get_exception (ap_manager_t* man)
Get the last exception raised.
Function: ap_exclog_t ap_manager_get_exclog (ap_manager_t* man)
Get the full log of exceptions. The first one in the list is the last raised one.


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

This document was generated on September, 10 2009 using texi2html