Timeouts in terms of counter values, as defined by
AbstractFileProver.counterTimeApproximation
Timeouts in terms of counter values, as defined by
AbstractFileProver.counterTimeApproximation
Wall-clock timeouts in milliseconds.
Disjunction of two timeout conditions.
A simple representation of different timeout conditions.
Check whether a timeout occurred.
Check whether a timeout occurred. The second argument provides the wall-clock start time.
(Since version ) see corresponding Javadoc for more information.