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
by Bertrand Jeannet on December, 22 2009
using texi2html