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

Assignements and Substitutions of abstract values of level 1

Function: ap_abstract1_t ap_abstract1_assign_linexpr_array (ap_manager_t* man, bool destructive, ap_abstract1_t* org, ap_var_t* tvar, ap_linexpr1_t* texpr, size_t size, ap_abstract1_t* dest)
Function: ap_abstract1_t ap_abstract1_substitute_linexpr_array (ap_manager_t* man, bool destructive, ap_abstract1_t* org, ap_var_t* tvar, ap_linexpr1_t* texpr, size_t size, ap_abstract1_t* dest)
Function: ap_abstract1_t ap_abstract1_assign_texpr_array (ap_manager_t* man, bool destructive, ap_abstract1_t* org, ap_var_t* tvar, ap_texpr1_t* texpr, size_t size, ap_abstract1_t* dest)
Function: ap_abstract1_t ap_abstract1_substitute_texpr_array (ap_manager_t* man, bool destructive, ap_abstract1_t* org, ap_var_t* tvar, ap_texpr1_t* texpr, size_t size, ap_abstract1_t* dest)
Parallel Assignement and Substitution of several variables by 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 September, 10 2009 using texi2html