Connect++ 0.1
A fast, readable connection prover for first-order logic.
|
Simple class to help you count intervals. More...
#include <Interval.hpp>
Public Member Functions | |
Interval (size_t l) | |
bool | tick () |
Simple class to help you count intervals.
There is a count and a limit. Each tick increases the count, and returns true plus resets the count when you reach the limit. (Otherwise returns false.)
|
inline |
Parameter sets the limit.
|
inline |
Advance the count by one and indicate/reset when you reach the limit.