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

Meet and Join of abstract values of level 0

Function: ap_abstract0_t* ap_abstract0_meet (ap_manager_t* man, bool destructive, ap_abstract0_t* a1, ap_abstract0_t* a2)

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

Function: ap_abstract0_t* ap_abstract0_meet_array (ap_manager_t* man, ap_abstract0_t** array, size_t size)

Function: ap_abstract0_t* ap_abstract0_join_array (ap_manager_t* man, ap_abstract0_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==0 (no way to define the dimensionality of the result in such a case).

Function: ap_abstract0_t* ap_abstract0_meet_lincons_array (ap_manager_t* man, bool destructive, ap_abstract0_t* a, ap_lincons0_array_t* array)
Function: ap_abstract0_t* ap_abstract0_meet_tcons_array (ap_manager_t* man, bool destructive, ap_abstract0_t* a, ap_tcons0_array_t* array)
Meet of the abstract value a with the set of constraints array.

array should have exactly the same dimensionality as a.

Function: ap_abstract0_t* ap_abstract0_add_ray_array (ap_manager_t* man, bool destructive, ap_abstract0_t* a, ap_generator0_array_t* array)
Generalized time elapse operator.

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

array should have exactly the same dimensionality as a.



This document was generated on September, 10 2009 using texi2html