Printing abstract values of level 1

Function: void ap_abstract1_fprint (FILE* stream, ap_manager_t* man, ap_abstract1_t* a)

Print a in a pretty way on the stream.

Function: void ap_abstract1_fprintdiff (FILE* stream, ap_manager_t* man, ap_abstract1_t* a1, 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, ap_abstract1_t* a)

Dump the internal representation of a for debugging purposes.