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

Existential quantification of abstract values of level 1

Function: ap_abstract1_t ap_abstract1_forget_array (ap_manager_t* man, bool destructive, ap_abstract1_t* a, ap_var_t* tvar, size_t size, bool project)
Forget (project=false) or Project (project=true) the array of variables tvar of size size in the abstract value a.



This document was generated on September, 10 2009 using texi2html