Revision 53206908 src/clock_calculus.ml
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