cprover
recursion_counter.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: C++ Language Type Checking
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CPP_RECURSION_COUNTER_H
13 #define CPROVER_CPP_RECURSION_COUNTER_H
14 
16 {
17 public:
18  explicit recursion_countert(unsigned &_cnt):cnt(_cnt)
19  {
20  cnt++;
21  }
22 
24  {
25  cnt--;
26  }
27 
28 protected:
29  unsigned &cnt;
30 };
31 
32 #endif // CPROVER_CPP_RECURSION_COUNTER_H
recursion_countert(unsigned &_cnt)