foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Algorithm.Dominance

Description

Computes the dominance frontier: see https://www.ed.tus.ac.jp/j-mune/keio/m/ssa2.pdf.

Documentation

domFrontier :: Graph -> Graph -> Int -> IntSet Source #