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

Printing abstract values of level 0

Function: void ap_abstract0_fprint (FILE* stream, ap_manager_t* man, ap_abstract0_t* a, char** name_of_dim)
Print a in a pretty way, using array name_of_dim to name dimensions.. If name_of_dim is NULL, use the default names x0, x1, ....

Function: void ap_abstract0_fprintdiff (FILE* stream, ap_manager_t* man, ap_abstract0_t* a1, ap_abstract0_t* a2, char** name_of_dim)
Print the difference between a1 (old value) and a2 (new value), using array name_of_dim to name dimensions. The meaning of difference is library dependent.

Function: void ap_abstract0_fdump (FILE* stream, ap_manager_t* man, ap_abstract0_t* a)
Dump the internal representation of a for debugging purposes.



This document was generated on September, 10 2009 using texi2html