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

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