Revision 1eda3e78
Added by Xavier Thirioux almost 8 years ago
| src/clock_calculus.ml | ||
|---|---|---|
| 771 | 771 |
let new_env = clock_var_decl_list env false nd.node_inputs in |
| 772 | 772 |
let new_env = clock_var_decl_list new_env true nd.node_outputs in |
| 773 | 773 |
let new_env = clock_var_decl_list new_env true nd.node_locals in |
| 774 |
List.iter (clock_eq new_env) nd.node_eqs;
|
|
| 774 |
List.iter (clock_eq new_env) (get_node_eqs nd);
|
|
| 775 | 775 |
let ck_ins = clock_of_vlist nd.node_inputs in |
| 776 | 776 |
let ck_outs = clock_of_vlist nd.node_outputs in |
| 777 | 777 |
let ck_node = new_ck (Carrow (ck_ins,ck_outs)) false in |
Also available in: Unified diff
- work in progress for automata...