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

Extraction of properties of abstract values of level 1

Function: ap_interval_t* ap_abstract1_bound_variable (ap_manager_t* man, ap_abstract1_t* a, ap_var_t var)
Return the interval taken by the variable var over the abstract value a.

Function: ap_interval_t* ap_abstract1_bound_linexpr (ap_manager_t* man, ap_abstract1_t* a, ap_linexpr1_t* expr)
Function: ap_interval_t* ap_abstract1_bound_texpr (ap_manager_t* man, ap_abstract1_t* a, ap_texpr1_t* expr)
Return the interval taken by the expression expr over the abstract value a.

In the case of truly linear expression, this function allows to solve a Linear Programming (LP) problem, but depending on the underlying domain the solution may be not optimal.

Function: ap_box1_t ap_abstract1_to_box (ap_manager_t* man, ap_abstract1_t* a)
Convert a to an interval/hypercube.

Function: ap_lincons1_array_t ap_abstract1_to_lincons_array (ap_manager_t* man, ap_abstract1_t* a)
Function: ap_tcons1_array_t ap_abstract1_to_tcons_array (ap_manager_t* man, ap_abstract1_t* a)
Convert a to a conjunction of linear (resp. tree) constraints.

The constraints are normally guaranteed to be without intervals.

Function: ap_generator1_array_t ap_abstract1_to_generator_array (ap_manager_t* man, ap_abstract1_t* a)
Convert a to an array of generators.



This document was generated on September, 10 2009 using texi2html