Additional functions on abstract values of level 0
These functions do not have corresponding functions into underlying libraries.
- Function: ap_manager_t* ap_abstract0_manager (const ap_abstract0_t* a)
- Return a reference to the manager contained in a.
The reference should not be freed.
- Function: ap_abstract0_t* ap_abstract0_widening_threshold (ap_manager_t* man, const ap_abstract0_t* a1, const ap_abstract0_t* a2, ap_lincons0_array_t* array)
- Widening with threshold.
Intersect the result of the standard widening with all the
constraints in array that are satisfied by both a1 and
a2.
- Function: ap_linexpr0_t* ap_abstract0_quasilinear_of_intervallinear (ap_manager_t* man, const ap_abstract0_t* a, ap_linexpr0_t* expr)
- Evaluate the interval linear expression expr on the abstract
value a and approximate it by a quasilinear expression.
This implies calls to ap_abstract0_bound_dimension
.
This document was generated
on December, 22 2006
using texi2html