[ < ] [ > ]   [ << ] [ 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, const ap_abstract0_t* a2)

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

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

Function: ap_abstract0_t* ap_abstract0_join_array (ap_manager_t* man, const ap_abstract0_t*const* 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, const ap_lincons0_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, const 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 December, 22 2006 using texi2html