Rename DefaultIDETabulationProblem.createJoinLattice
langston-barrett opened this issue · comments
Langston Barrett commented
It now returns a MeetLattice
: https://github.com/Sable/heros/blob/8e59e82e2223034b952d4c7ba7d07de1d732cf8c/src/heros/template/DefaultIDETabulationProblem.java#L46
protected abstract MeetLattice<V> createJoinLattice();