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

Assignements and Substitutions of abstract values of level 0

Function: ap_abstract0_t* ap_abstract0_assign_linexpr (ap_manager_t* man, bool destructive, ap_abstract0_t* org, ap_dim_t dim, const ap_linexpr0_t* expr, const ap_abstract0_t* dest)
Function: ap_abstract0_t* ap_abstract0_substitute_linexpr (ap_manager_t* man, bool destructive, ap_abstract0_t* org, ap_dim_t dim, const ap_linexpr0_t* expr, const ap_abstract0_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_abstract0_t* ap_abstract0_assign_linexpr_array (ap_manager_t* man, bool destructive, ap_abstract0_t* org, const ap_dim_t* tdim, const ap_linexpr0_t*const* texpr, size_t size, const ap_abstract0_t* dest)
Function: ap_abstract0_t* ap_abstract0_substitute_linexpr_array (ap_manager_t* man, bool destructive, ap_abstract0_t* org, const ap_dim_t* tdim, const ap_linexpr0_t*const* texpr, size_t size, const ap_abstract0_t* dest)
Parallel Assignement and Substitution of several dimensions 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