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

Additional functions on abstract values of level 1

Function: ap_linexpr1_t ap_abstract1_quasilinear_of_intervallinear (ap_manager_t* man, const ap_abstract1_t* a, ap_linexpr1_t* expr)
Evaluate the interval linear expression expr on the abstract value a and approximate it by a quasilinear expression.

This implies calls to ap_abstract0_bound_dimension.



This document was generated on December, 22 2006 using texi2html