Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/scheduling.mli | ||
---|---|---|
1 | 1 |
open Utils |
2 |
open Format |
|
2 | 3 |
open Lustre_types |
3 | 4 |
open Scheduling_type |
4 | 5 |
|
6 |
val schedule_node: node_desc -> schedule_report |
|
5 | 7 |
val schedule_prog: program_t -> program_t * schedule_report IMap.t |
6 | 8 |
val remove_prog_inlined_locals: 'a IMap.t IMap.t -> schedule_report IMap.t -> schedule_report IMap.t |
7 | 9 |
val compute_prog_reuse_table: schedule_report IMap.t -> (ident, var_decl) Hashtbl.t IMap.t |
8 | 10 |
|
9 | 11 |
val sort_equations_from_schedule: eq list -> ident list list -> eq list * ident list |
12 |
|
|
13 |
val pp_warning_unused: formatter -> schedule_report IMap.t -> unit |
|
14 |
val pp_schedule: formatter -> schedule_report IMap.t -> unit |
|
15 |
val pp_fanin_table: formatter -> schedule_report IMap.t -> unit |
|
16 |
val pp_dep_graph: formatter -> schedule_report IMap.t -> unit |
Also available in: Unified diff
another step towards refactoring