Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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