Revision ca7ff3f7
Added by Lélio Brun 7 months 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