Functor Dataflow.Forwards


module Forwards: 
functor (T : ForwardsTransfer with type StmtStartData.key = Cil_types.stmt) -> sig .. end
Parameters:
T : ForwardsTransfer with type StmtStartData.key = Cil_types.stmt

val reachedStatement : Cil_types.stmt -> Cil_types.stmt -> T.t -> unit
val compute : Cil_types.stmt list -> unit
Fill in the T.stmtStartData, given a number of initial statements to start from. All of the initial statements must have some entry in T.stmtStartData (i.e., the initial data should not be bottom)