Module type Dataflow.ANALYSIS

module type ANALYSIS = sig .. end

Data-flow analysis

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