Functor Dataflow.FwDFA

module FwDFA: 
functor (SC : SCHEDULER) ->
functor (LT : LATTICE) ->
functor (CF : Ctrlflow.CTRLFLOW with type st = SC.st) ->
functor (DF : DATAFLOW with type st = SC.st and type l = LT.l) -> ANALYSIS with type st = SC.st and type l = LT.l
Forward Data-flow analysis
Parameters:
SC : SCHEDULER
LT : LATTICE
CF : Ctrlflow.CTRLFLOW with type st = SC.st
DF : DATAFLOW with type st = SC.st and type l = LT.l

type l 
same as Dataflow.LATTICE.l
type st 
same as Dataflow.SCHEDULER.st
val to_s : l -> string
same as Dataflow.LATTICE.to_s
val inn : st -> l
return IN for the given Dataflow.ANALYSIS.st
val out : st -> l
return OUT for the given Dataflow.ANALYSIS.st
val fixed_pt : unit -> unit
calculate fixed point

Web Accessibility