Searched refs:RandDev (Results 1 – 2 of 2) sorted by relevance
24 duration WaitDuration = std::min(duration(Dist(RandDev)), EndTime - Now); in waitForNextAttempt()
59 std::random_device RandDev; variable