Revision 1eda3e78
Added by Xavier Thirioux almost 8 years ago
| src/access.ml | ||
|---|---|---|
| 80 | 80 |
let checks = |
| 81 | 81 |
List.fold_left check_var_decl checks (get_node_vars nd) in |
| 82 | 82 |
let checks = |
| 83 |
List.fold_left (fun checks eq -> check_expr checks eq.eq_rhs) checks nd.node_eqs in
|
|
| 83 |
List.fold_left (fun checks eq -> check_expr checks eq.eq_rhs) checks (get_node_eqs nd) in
|
|
| 84 | 84 |
nd.node_checks <- CSet.elements checks |
| 85 | 85 |
|
| 86 | 86 |
let check_top_decl decl = |
Also available in: Unified diff
- work in progress for automata...