[
<
]
[
>
]
[
<<
]
[
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