[ < ] [ > ]   [ << ] [ 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, const 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, const ap_abstract1_t* a, const ap_linexpr1_t* expr)
Return the interval taken by a linear expression expr over the abstract value a.

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, const ap_abstract1_t* a)
Convert a to an interval/hypercube.

Function: ap_lincons1_array_t ap_abstract1_to_lincons_array (ap_manager_t* man, const ap_abstract1_t* a)
Convert a to a convex polyhedra (conjunction of linear constraints).

The constraints are normally guaranteed to be really linear (without intervals).

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



This document was generated on December, 22 2006 using texi2html