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