![]()  | 
  
    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.