![]() |
Connect++ 0.4.0
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 () |
Private Attributes | |
size_t | count |
size_t | limit |
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.)
Definition at line 35 of file Interval.hpp.
|
inline |
Parameter sets the limit.
Definition at line 45 of file Interval.hpp.
|
inline |
Advance the count by one and indicate/reset when you reach the limit.
Definition at line 54 of file Interval.hpp.
|
private |
Definition at line 37 of file Interval.hpp.
|
private |
Definition at line 38 of file Interval.hpp.