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

Constructors for abstract values of level 1

Function: ap_abstract1_t ap_abstract1_bottom (ap_manager_t* man, ap_environment_t* env)
Function: ap_abstract1_t ap_abstract1_top (ap_manager_t* man, ap_environment_t* env)
Create resp. a bottom (empty) value and a top (universe) value defined on the environement env.

Function: ap_abstract1_t ap_abstract1_of_box (ap_manager_t* man, ap_environment_t* env, ap_var_t* tvar, ap_interval_t** tinterval, size_t size)
Abstract an hypercube defined by the arrays tvar and tintnerval of size size.

If no inclusion is specified for a variable in the environement, its value is no constrained in the resulting abstract value.

Function: ap_abstract1_t ap_abstract1_of_lincons_array (ap_manager_t* man, ap_environment_t* env, const ap_lincons1_array_t* array)
Abstract a convex polyhedra defined by the array array of (interval) linear constraints. The environement of the array should be a subset of the environement env.



This document was generated on December, 22 2006 using texi2html