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
by Bertrand Jeannet on December, 22 2009
using texi2html