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

Widening of abstract values of level 1

Function: ap_abstract1_t ap_abstract1_widening (ap_manager_t* man, const ap_abstract1_t* a1, const ap_abstract1_t* a2)
Widening of a1 with a2. a1 is supposed to be included in a2.

Function: ap_abstract1_t ap_abstract1_widening_threshold (ap_manager_t* man, const ap_abstract1_t* a1, const ap_abstract1_t* a2, ap_lincons1_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.



This document was generated on December, 22 2006 using texi2html