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
on August, 27 2007
using texi2html