Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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