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