Package nl.uu.cs.treewidth.timing

Interface Summary
TimeSource Interface used by Stopwatch as the source of `time.'
 

Class Summary
JavaNanoTime Has better resolution than JavaSystemTime, but not sure if this is safe.
JavaSystemTime TimeSource implementation using System.currentTimeMillis().
Stopwatch A stopwatch can be used to measure intervals.