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

Assignements and Substitutions of abstract values of level 1

Function: ap_abstract1_t ap_abstract1_assign_linexpr (ap_manager_t* man, bool destructive, ap_abstract1_t* org, ap_var_t var, const ap_linexpr1_t* expr, const ap_abstract1_t* dest)
Function: ap_abstract1_t ap_abstract1_substitute_linexpr (ap_manager_t* man, bool destructive, ap_abstract1_t* org, ap_var_t var, const ap_linexpr1_t* expr, const ap_abstract1_t* dest)
Assignement and Substitution of the dimension dim by the (interval) linear expression expr in abstract value org.

dest is an optional argument. If not NULL, semantically speaking, the result of the transformation is intersected with dest. This is useful for precise backward transformations in lattices like intervals or octagons.

Function: ap_abstract1_t ap_abstract1_assign_linexpr_array (ap_manager_t* man, bool destructive, ap_abstract1_t* org, const ap_var_t* tvar, const ap_linexpr1_t* texpr, size_t size, const ap_abstract1_t* dest)
Function: ap_abstract1_t ap_abstract1_substitute_linexpr_array (ap_manager_t* man, bool destructive, ap_abstract1_t* org, const ap_var_t* tvar, const ap_linexpr1_t* texpr, size_t size, const ap_abstract1_t* dest)
Parallel Assignement and Substitution of several variables by linear expressions in abstract value org.

dest is an optional argument. If not NULL, semantically speaking, the result of the transformation is intersected with dest. This is useful for precise backward transformations in lattices like intervals or octagons.



This document was generated on December, 22 2006 using texi2html