Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / scheduling_type.ml @ a703ed0c

History | View | Annotate | Download (557 Bytes)

1
open Utils
2
open Lustre_types
3

    
4
type schedule_report =
5
{
6
  (* the scheduled node *)
7
  node : node_desc;
8
  (* a schedule computed wrt the dependency graph *)
9
  schedule : ident list list;
10
  (* the set of unused variables (no output or mem depends on them) *)
11
  unused_vars : ISet.t;
12
  (* the table mapping each local var to its in-degree *)
13
  fanin_table : (ident, int) Hashtbl.t;
14
  (* 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*)
18
}
19