Jihoon Son 7401bb3f93 Improve OvershadowableManager performance (#9441) ... * Use the iterator instead of higherKey(); use the iterator API instead of stream * Fix tests; fix a concurrency bug in timeline * fix test * add tests for findNonOvershadowedObjectsInInterval * fix test * add missing tests; fix a bug in QueueEntry * equals tests * fix test		2020-03-10 13:22:19 -07:00
..
src/test	Improve OvershadowableManager performance (#9441)	2020-03-10 13:22:19 -07:00
assembly.xml	Fix for building in Eclipse & VS Code. (#7481)	2020-02-13 14:58:32 -08:00
pom.xml	Fix for building in Eclipse & VS Code. (#7481)	2020-02-13 14:58:32 -08:00