diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 09:48:22 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 09:48:22 +0200 |
| commit | 860ad2752ef0544bc6874d895875a78f91db9084 (patch) | |
| tree | 9f366fe801b9ae145338c5859aa70f0a384c2ea1 /interpret | |
| parent | b5fd9598302b3e7ac8ab75c36d5a7290d1ad0d78 (diff) | |
| download | scade-analyzer-860ad2752ef0544bc6874d895875a78f91db9084.tar.gz scade-analyzer-860ad2752ef0544bc6874d895875a78f91db9084.zip | |
Add AST for logical formula.
Diffstat (limited to 'interpret')
| -rw-r--r-- | interpret/data.ml | 6 | ||||
| -rw-r--r-- | interpret/interpret.ml (renamed from interpret/interpret2.ml) | 2 |
2 files changed, 2 insertions, 6 deletions
diff --git a/interpret/data.ml b/interpret/data.ml deleted file mode 100644 index 1d91e93..0000000 --- a/interpret/data.ml +++ /dev/null @@ -1,6 +0,0 @@ -(* Data structures for representing the state of a system *) - -open Util -open Ast -open Ast_util - diff --git a/interpret/interpret2.ml b/interpret/interpret.ml index d6f7731..063dad0 100644 --- a/interpret/interpret2.ml +++ b/interpret/interpret.ml @@ -350,6 +350,7 @@ module I : INTERPRET = struct let save = VarMap.add (node^"/"^prefix^"init") (VBool init) save in let save_expr save e = + (* Save pre expressions *) let save = List.fold_left (fun save (id, expr) -> let n = node^"/"^prefix^id in @@ -365,6 +366,7 @@ module I : INTERPRET = struct with Not_found -> save ) save (extract_pre e) in + (* Save recursively in sub instances of nodes *) let save = List.fold_left (fun save (n, eqs, _) -> aux (node^"/"^n, "", eqs) save) |