Widening of abstract values of level 0
- Function: ap_abstract0_t* ap_abstract0_widening (ap_manager_t* man, ap_abstract0_t* a1, ap_abstract0_t* a2)
- Widening of a1 with a2. a1 is supposed to be
included in a2.
This document was generated
by Bertrand Jeannet on December, 22 2009
using texi2html