|
1
|
open Utils
|
|
2
|
open Format
|
|
3
|
open Lustre_types
|
|
4
|
open Scheduling_type
|
|
5
|
|
|
6
|
val schedule_node: node_desc -> schedule_report
|
|
7
|
val schedule_prog: program_t -> program_t * schedule_report IMap.t
|
|
8
|
val remove_prog_inlined_locals: 'a IMap.t IMap.t -> schedule_report IMap.t -> schedule_report IMap.t
|
|
9
|
val compute_prog_reuse_table: schedule_report IMap.t -> (ident, var_decl) Hashtbl.t IMap.t
|
|
10
|
|
|
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
|