Functor Dataflow.ForwardsDataFlow


module ForwardsDataFlow: 
functor (T : ForwardsTransfer with type StmtStartData.key = int) -> sig .. end
Deprecated.Nitrogen-20111001
Same dataflow as above, but with initial states indexed by statements sids. Do not use.
Parameters:
T : ForwardsTransfer with type StmtStartData.key = int

val reachedStatement : Cil_types.stmt -> Cil_types.stmt -> T.t -> unit
val compute : Cil_types.stmt list -> unit