tree ee922d21df03654320fcbabc4a850f3f353dae3b
parent 91ad68cb178b9768d01beb011edbb266e9624df6
author Christoffer Quist Adamsen <christofferqa@google.com> 1530186015 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> 1530186015 +0200

Timing for collision detection in class merger

This CL also prints timing for the collision detection in the vertical class merging if options.printTimes is enabled.

To accomplish this, this CL extends the Timing class, such that it is possible to restart an existing timer. This is needed since the collission detection runs as one out of many checks inside a loop.

Change-Id: I8777d80d20f102072dc16634c8febc83ec3c1a70