Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Interval.hpp
1/*
2
3Copyright © 2023-24 Sean Holden. All rights reserved.
4
5*/
6/*
7
8This file is part of Connect++.
9
10Connect++ is free software: you can redistribute it and/or modify it
11under the terms of the GNU General Public License as published by the
12Free Software Foundation, either version 3 of the License, or (at your
13option) any later version.
14
15Connect++ is distributed in the hope that it will be useful, but WITHOUT
16ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
18more details.
19
20You should have received a copy of the GNU General Public License along
21with Connect++. If not, see <https://www.gnu.org/licenses/>.
22
23*/
24
25#ifndef INTERVAL_HPP
26#define INTERVAL_HPP
27
35class Interval {
36private:
37 size_t count;
38 size_t limit;
39public:
40 Interval() = delete;
44 Interval(size_t l) : count(0), limit(0) {
45 if (l >= 0)
46 limit = l;
47 }
52 bool tick() {
53 count++;
54 if (count > limit) {
55 count = 0;
56 return true;
57 }
58 return false;
59 }
60};
61
62#endif
Simple class to help you count intervals.
Definition Interval.hpp:35
bool tick()
Definition Interval.hpp:52
Interval(size_t l)
Definition Interval.hpp:44