Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/scheduling_type.ml | ||
---|---|---|
1 | 1 |
open Utils |
2 | 2 |
open Lustre_types |
3 | 3 |
|
4 |
type schedule_report = |
|
5 |
{ |
|
4 |
type schedule_report = { |
|
6 | 5 |
(* the scheduled node *) |
7 | 6 |
node : node_desc; |
8 | 7 |
(* a schedule computed wrt the dependency graph *) |
... | ... | |
12 | 11 |
(* the table mapping each local var to its in-degree *) |
13 | 12 |
fanin_table : (ident, int) Hashtbl.t; |
14 | 13 |
(* the dependency graph *) |
15 |
dep_graph : IdentDepGraph.t;
|
|
16 |
(* the table mapping each assignment to a reusable variable *) |
|
17 |
(*reuse_table : (ident, var_decl) Hashtbl.t*) |
|
14 |
dep_graph : IdentDepGraph.t; |
|
15 |
(* the table mapping each assignment to a reusable variable *)
|
|
16 |
(*reuse_table : (ident, var_decl) Hashtbl.t*)
|
|
18 | 17 |
} |
19 |
|
Also available in: Unified diff
reformatting