Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/tools/stateflow/common/activeStates.ml | ||
---|---|---|
1 |
open Utils |
|
1 | 2 |
open Basetypes |
2 | 3 |
|
3 | 4 |
(* Module to manipulate set of active states. |
... | ... | |
13 | 14 |
end) |
14 | 15 |
|
15 | 16 |
let pp_set fmt rho = |
16 |
Format.fprintf fmt "@[<v 0>%a@ @]" |
|
17 |
(Utils.fprintf_list ~sep:"@ " (fun fmt p -> |
|
18 |
Format.fprintf fmt "%a" pp_path p)) |
|
19 |
(elements rho) |
|
17 |
Format.(fprintf fmt "@[<v 0>%a@ @]" (pp_print_list pp_path) (elements rho)) |
|
20 | 18 |
end |
21 | 19 |
|
22 | 20 |
module Env = struct |
... | ... | |
37 | 35 |
let keys a = fold (fun key _ -> Vars.add key) a Vars.empty |
38 | 36 |
|
39 | 37 |
let pp_env fmt rho = |
40 |
Format.fprintf fmt "@[<v 0>%a@ @]" |
|
41 |
(Utils.fprintf_list ~sep:"@ " (fun fmt (p, b) -> |
|
42 |
Format.fprintf fmt "%a -> %b" pp_path p b)) |
|
43 |
(bindings rho) |
|
38 |
Format.(fprintf fmt "@[<v 0>%a@ @]" |
|
39 |
(pp_print_list (fun fmt (p, b) -> fprintf fmt "%a -> %b" pp_path p b)) |
|
40 |
(bindings rho)) |
|
44 | 41 |
end |
Also available in: Unified diff
another step towards refactoring