Existential quantification of abstract values of level 0
- Function: ap_abstract0_t* ap_abstract0_forget_array (ap_manager_t* man, bool destructive, ap_abstract0_t* a, ap_dim_t* tdim, size_t size, bool project)
- Forget (
project=false
) or Project (project=true
) the
array of dimensions tdim of size size in the abstract
value a.
This document was generated
on September, 10 2009
using texi2html