Some abstract interpretation does something now.

1 files changed, 11 insertions, 0 deletions

diff --git a/abstract/apron_domain.ml b/abstract/apron_domain.ml
index 1cc418e..ad483ec 100644
--- a/abstract/apron_domain.ml
+++ b/abstract/apron_domain.ml
@@ -68,6 +68,9 @@ module D : ENVIRONMENT_DOMAIN = struct
             Environment.add env [| Var.of_string id |] [||]
         in
         Abstract1.change_environment manager x env2 false
+    let forgetvar x id =
+        let v = [| Var.of_string id |] in
+        Abstract1.forget_array manager x v false
     let rmvar x id =
         let v = [| Var.of_string id |] in
         let env = Abstract1.env x in
@@ -105,6 +108,14 @@ module D : ENVIRONMENT_DOMAIN = struct
           Abstract1.join manager y z
 
     let apply_f x f = apply_cl x (conslist_of_f f)
+    
+    let assign x eqs =
+      let env = Abstract1.env x in
+      let vars = Array.of_list
+        (List.map (fun (id, _) -> Var.of_string id) eqs) in
+      let vals = Array.of_list
+        (List.map (fun (_, v) -> Texpr1.of_expr env (texpr_of_nexpr v)) eqs) in
+      Abstract1.assign_texpr_array manager x vars vals None
 
     
     (* Ensemblistic operations *)