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

Change of environments of abstract values of level 1

Function: ap_abstract1_t ap_abstract1_change_environment (ap_manager_t* man, bool destructive, ap_abstract1_t* a, ap_environment_t* nenv, bool project)
Change the environment of the abstract values. Variables that are removed are first existentially quantified, and variables that are introduced are either unconstrained (project==false) or initialized to 0 (project==false).

Function: ap_abstract1_t ap_abstract1_minimize_environment (ap_manager_t* man, bool destructive, ap_abstract1_t* a)
Remove from the environment of the abstract value and from the abstract value itself variables that are unconstrained in it.

Function: ap_abstract1_t ap_abstract1_rename_array (ap_manager_t* man, bool destructive, ap_abstract1_t* a, ap_var_t* tvar, ap_var_t* ntvar, size_t size)
Parallel renaming of the environment of the abstract value. The new variables should not interfere with the variables that are not renamed.



This document was generated on September, 10 2009 using texi2html