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

Meet and Join of abstract values of level 1

Function: ap_abstract1_t ap_abstract1_meet (ap_manager_t* man, bool destructive, ap_abstract1_t* a1, ap_abstract1_t* a2)

Function: ap_abstract1_t ap_abstract1_join (ap_manager_t* man, bool destructive, ap_abstract1_t* a1, ap_abstract1_t* a2)
Meet and Join of 2 abstract values

Function: ap_abstract1_t ap_abstract1_meet_array (ap_manager_t* man, ap_abstract1_t* array, size_t size)

Function: ap_abstract1_t ap_abstract1_join_array (ap_manager_t* man, ap_abstract1_t* array, size_t size)
Meet and Join of the array array of abstract values of size size.

Raise an AP_EXC_INVALID_ARGUMENT exception if size==1 (no way to define the environment of the result in such a case).

Function: ap_abstract1_t ap_abstract1_meet_lincons_array (ap_manager_t* man, bool destructive, ap_abstract1_t* a, ap_lincons1_array_t* array)
Function: ap_abstract1_t ap_abstract1_meet_tcons_array (ap_manager_t* man, bool destructive, ap_abstract1_t* a, ap_tcons1_array_t* array)
Meet of the abstract value a with the set of constraints array.

Function: ap_abstract1_t ap_abstract1_add_ray_array (ap_manager_t* man, bool destructive, ap_abstract1_t* a, ap_generator1_array_t* array)
Generalized time elapse operator.

array is supposed to contain only rays or lines, no vertices.



This document was generated on September, 10 2009 using texi2html