Topological closure of abstract values of level 1
- Function: ap_abstract1_t* ap_abstract1_closure (ap_manager_t* man, bool destructive, ap_abstract1_t* a)
- Relax strict constraints into non strict constraints.
This document was generated
on September, 10 2009
using texi2html