sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
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.
Beware of applying function analyze
partially, to arguments f
and g
only. The result is a function that is to be used to query the result of the analysis.