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

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