module Make: functor (G : G) -> functor (A : Analysis with type cfg = G.t with type label = G.E.label
with type vertex = G.V.t) -> sig .. end
| Parameters: |
G |
: |
G
|
A |
: |
Analysis with type cfg = G.t with type label = G.E.label
with type vertex = G.V.t
|
|
val analyze : (G.V.t -> A.data) -> A.cfg -> G.V.t -> A.data
analyze f g computes the fixpoint on the given graph using the
work list algorithm. Beware that a misconstructed Analysis will
not terminate! f is used to create the initial analysis
data. The function returned is a map to see what data was computed
for which node.