Make OverlapChecker an interface#5324

Merged

dongruoping merged 4 commits intomainfrom

develop-overlap-interface

May 13, 2021

Commits on Apr 28, 2021

make overlapChecker an interface
Ruo-Ping Dong
committed
fix tests
Ruo-Ping Dong
committed

Commits on May 13, 2021

Merge branch 'main' into develop-overlap-interface
Ruo-Ping Dong
committed
better names
Ruo-Ping Dong
committed