[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
ap_abstract0_canonicalize
) and considered as
equal by the function ap_abstract0_is_eq
should be given the
same hash value (this implies more or less a canonical form).
The transformation may lose information. The argument
algorithm overrides the field algorithm of the structure of
type ap_funopt_t
associated to
ap_abstract0_approximate
.