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