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

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