Project

General

Profile

Download (561 Bytes) Statistics
| Branch: | Tag: | Revision:
1
open Utils
2
open Lustre_types
3

    
4
type schedule_report = {
5
  (* the scheduled node *)
6
  node : node_desc;
7
  (* a schedule computed wrt the dependency graph *)
8
  schedule : ident list list;
9
  (* the set of unused variables (no output or mem depends on them) *)
10
  unused_vars : ISet.t;
11
  (* the table mapping each local var to its in-degree *)
12
  fanin_table : (ident, int) Hashtbl.t;
13
  (* the dependency graph *)
14
  dep_graph : IdentDepGraph.t;
15
      (* the table mapping each assignment to a reusable variable *)
16
      (*reuse_table : (ident, var_decl) Hashtbl.t*)
17
}
(54-54/66)