package ocamlgraph
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Parameters
Signature
Map used to store the result of the analysis
val recurse :
G.t ->
G.V.t WeakTopological.t ->
(G.V.t -> D.t) ->
G.V.t widening_set ->
int ->
D.t M.t
recurse g wto init widening_set widening_delay
computes the fixpoint of the analysis of a graph. This function uses the recursive iteration strategy: it recursively stabilizes the subcomponents of every component every time the component is stabilized (cf. Bourdoncle's paper).
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page