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

Printing abstract values of level 1

Function: void ap_abstract1_fprint (FILE* stream, ap_manager_t* man, const ap_abstract1_t* a)
Print a in a pretty way on the stream.

Function: void ap_abstract1_fprintdiff (FILE* stream, ap_manager_t* man, const ap_abstract1_t* a1, const ap_abstract1_t* a2)
Print the difference between a1 (old value) and a2 (new value). The meaning of difference is library dependent.

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



This document was generated on December, 22 2006 using texi2html