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

Control of internal representation of abstract values of level 1

Function: void ap_abstract1_minimize (ap_manager_t* man, const ap_abstract1_t* a)
Minimize the size of the representation of a. This may result in a later recomputation of internal information.

Function: void ap_abstract1_canonicalize (ap_manager_t* man, const ap_abstract1_t* a)
Put a in canonical form. (not yet clear definition).

Function: void ap_abstract1_approximate (ap_manager_t* man, ap_abstract1_t* a, int algorithm)
Perform some transformation on a, guided by the field algorithm.

The transformation may lose information. The argument algorithm overrides the field algorithm of the structure of type ap_funopt_t associated to ap_abstract1_approximate.

Function: tbool_t ap_abstract1_is_minimal (ap_manager_t* man, const ap_abstract1_t* a)
Function: tbool_t ap_abstract1_is_canonical (ap_manager_t* man, const ap_abstract1_t* a)
Test whether a is in minimal or in canonical form.



This document was generated on December, 22 2006 using texi2html