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, ap_interval_t** array)
- Abstract an hypercube defined by the array of intervals
array of size intdim+realdim.
This document was generated
on September, 10 2009
using texi2html