Searched refs:mkFactBase (Results 1 – 2 of 2) sorted by relevance
28 , getFact, mkFactBase384 mkFactBase :: DataflowLattice f -> [(Label, f)] -> FactBase f385 mkFactBase lattice = foldl' add mapEmpty function
143 mkFactBase159 in mkFactBase procPointLattice result