Tests on abstract values of level 1
If any of the following functions returns tbool_top, this means that
an exception has occured, or that the exact computation was
considered too expensive to be performed (according to the options).
- Function: tbool_t ap_abstract1_is_bottom (ap_manager_t* man, ap_abstract1_t* a)
-
- Function: tbool_t ap_abstract1_is_top (ap_manager_t* man, ap_abstract1_t* a)
- Emtpiness and universality tests.
- Function: tbool_t ap_abstract1_is_leq (ap_manager_t* man, ap_abstract1_t* a1, ap_abstract1_t* a2)
-
- Function: tbool_t ap_abstract1_is_eq (ap_manager_t* man, ap_abstract1_t* a1, ap_abstract1_t* a2)
- Inclusion and equality tests.
- Function: tbool_t ap_abstract1_sat_interval (ap_manager_t* man, ap_abstract1_t* a, ap_var_t var, ap_interval_t* interval)
- Is the variable var included in the interval interval in the abstract value a ?
- Function: tbool_t ap_abstract1_sat_lincons (ap_manager_t* man, ap_abstract1_t* a, ap_lincons1_t* cons)
-
- Function: tbool_t ap_abstract1_sat_tcons (ap_manager_t* man, ap_abstract1_t* a, ap_tcons1_t* cons)
- Does the abstract value a satisfy the constraint cons ?
- Function: tbool_t ap_abstract1_is_variable_unconstrained (ap_manager_t* man, ap_abstract1_t* a, ap_var_t var)
- Is the dimension dim unconstrained in the abstract value a ?
If it is the case, we have
forget(man,a,dim) == a
.
This document was generated
on August, 27 2007
using texi2html