diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-08 10:27:23 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-08 10:27:23 +0200 |
| commit | 3b647cab0d3ac143b97524e6b0a406c349898db5 (patch) | |
| tree | 6f22cf4916a5096b193df73f242dcb64edb54b56 /abstract/abs_interp_edd.ml | |
| parent | 3f53be86214bb9a7873a6cf3377c49e5f84d9729 (diff) | |
| download | scade-analyzer-3b647cab0d3ac143b97524e6b0a406c349898db5.tar.gz scade-analyzer-3b647cab0d3ac143b97524e6b0a406c349898db5.zip | |
Implement stand-alone EDDs
Diffstat (limited to 'abstract/abs_interp_edd.ml')
| -rw-r--r-- | abstract/abs_interp_edd.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/abstract/abs_interp_edd.ml b/abstract/abs_interp_edd.ml index 8ea0012..1b3bb39 100644 --- a/abstract/abs_interp_edd.ml +++ b/abstract/abs_interp_edd.ml @@ -47,7 +47,6 @@ end = struct ve : varenv; root : edd; leaves : (int, ND.t) Hashtbl.t; - (* add here eventual annotations *) } (* @@ -529,7 +528,6 @@ end = struct f (ch1@ch2@ch3) else (* Keep disjunction on variable dv *) - let d, nd = List.partition (fun (_, v, _) -> v = dv) cn in let cc = List.map (fun (c, _) -> let ch3 = List.map (fun (_, _, cl) -> List.assoc c cl) d in |