Functor Datascope.ForwardScope


module ForwardScope: 
functor (X : sig
val modified : Cil_types.stmt -> bool
end) -> sig .. end
Parameters:
X : sig val modified : stmt -> bool end

val name : string
val debug : bool Pervasives.ref
module StmtStartData: Datascope.States
type t = StmtStartData.data 
val pretty : Format.formatter -> Datascope.State.t -> unit
val copy : t -> t
val computeFirstPredecessor : 'a -> Datascope.State.t -> Datascope.State.t
val combinePredecessors : 'a -> old:Datascope.State.t -> Datascope.State.t -> Datascope.State.t option
val doStmt : 'a -> 'b -> 'c Dataflow.stmtaction
val doInstr : Cil_types.stmt ->
'a -> Datascope.State.t -> Datascope.State.t Dataflow.action
val stmt_can_reach : 'a -> 'b -> bool
val filterStmt : 'a -> bool
val doGuard : 'a -> 'b -> 'c -> 'd Dataflow.guardaction * 'e Dataflow.guardaction
val doEdge : 'a -> 'b -> 'c -> 'c