eafixpoint.n

tabulate: Cs.var -> EaSet.set array solves the constructed set constraints by using a worklist algorithm [3]. An input value is the kick-off/root set variable.