Project

General

Profile

Revision 53206908 src/clock_calculus.ml

View differences:

src/clock_calculus.ml
608 608
(* computes clocks for node application *)
609 609
and clock_appl env f args clock_reset loc =
610 610
 let args = expr_list_of_expr args in
611
  if Basic_library.is_internal_fun f && List.exists is_tuple_expr args
611
  if Basic_library.is_homomorphic_fun f && List.exists is_tuple_expr args
612 612
  then
613 613
      let args = Utils.transpose_list (List.map expr_list_of_expr args) in
614 614
      Clocks.clock_of_clock_list (List.map (fun args -> clock_call env f args clock_reset loc) args)

Also available in: Unified diff