module ForwardsDataFlow: functor (T : ForwardsTransfer with type StmtStartData.key = int) -> sig .. end
functor (
T
:
ForwardsTransfer
with type StmtStartData.key = int
) ->
sig
end
ForwardsTransfer with type StmtStartData.key = int
val reachedStatement : Cil_types.stmt -> Cil_types.stmt -> T.t -> unit
Cil_types.stmt -> Cil_types.stmt -> T.t -> unit
val compute : Cil_types.stmt list -> unit
Cil_types.stmt list -> unit