diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-09 09:57:26 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-09 09:57:26 +0200 |
| commit | 52a7d356a1c1c1bf0d1881d0cf6e13bb94dbc1a4 (patch) | |
| tree | a723bbffa3e74323aa6c39312071646c9c521cd4 | |
| parent | 26846118dc8038e12d46800e89b6fab5fecef948 (diff) | |
| download | scade-analyzer-52a7d356a1c1c1bf0d1881d0cf6e13bb94dbc1a4.tar.gz scade-analyzer-52a7d356a1c1c1bf0d1881d0cf6e13bb94dbc1a4.zip | |
Minor optimisation in ordering strategy.
| -rw-r--r-- | abstract/varenv.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/abstract/varenv.ml b/abstract/varenv.ml index 5d51837..8bd3971 100644 --- a/abstract/varenv.ml +++ b/abstract/varenv.ml @@ -228,10 +228,10 @@ let mk_varenv (rp : rooted_prog) f cl = let lv_f = List.map (fun (a, b) -> (1.0, [a; b])) lv in let lv_f = lv_f @ (List.map (fun v -> (10.0, ["#BEGIN"; v])) (extract_const_vars_root cl)) in - let lv_f = lv_f @ (List.map (fun v -> (5.0, ["#BEGIN"; v])) + let lv_f = lv_f @ (List.map (fun v -> (7.0, ["#BEGIN"; v])) (List.filter (fun n -> is_suffix n "init") evars)) in let lv_f = lv_f @ (List.map (fun v -> (3.0, ["#BEGIN"; v])) - (List.filter (fun n -> is_suffix n "state") evars)) in + (List.filter (fun n -> is_suffix n "act" || is_suffix n "state") evars)) in let lv_f = lv_f @ (List.map (fun v -> (0.7, [v; "L"^v])) (List.filter (fun n -> List.mem ("L"^n) evars) evars)) in |