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.
This document was generated
by Bertrand Jeannet on December, 22 2009
using texi2html