Constructors for abstract values of level 0
- Function: ap_abstract0_t* ap_abstract0_bottom (ap_manager_t* man, size_t intdim, size_t realdim)
-
- Function: ap_abstract0_t* ap_abstract0_top (ap_manager_t* man, size_t intdim, size_t realdim)
- Create resp. a bottom (empty) value and a top (universe) value
with intdim integer dimensions and realdim real
dimensions.
- Function: ap_abstract0_t* ap_abstract0_of_box (ap_manager_t* man, size_t intdim, size_t realdim, const ap_interval_t*const* array)
- Abstract an hypercube defined by the array of intervals
array of size intdim+realdim.
- Function: ap_abstract0_t* ap_abstract0_of_lincons_array (ap_manager_t* man, size_t intdim, size_t realdim, const ap_lincons0_array_t* array)
- Abstract a convex polyhedra defined by the array array of
(interval) linear constraints. The constraints in the array should
have exactly the dimensions (intdim,realdim).
This document was generated
on December, 22 2006
using texi2html