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

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