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
15
class
recursion_countert
16
{
17
public
:
18
explicit
recursion_countert
(
unsigned
&_cnt):
cnt
(_cnt)
19
{
20
cnt
++;
21
}
22
23
~recursion_countert
()
24
{
25
cnt
--;
26
}
27
28
protected
:
29
unsigned
&
cnt
;
30
};
31
32
#endif // CPROVER_CPP_RECURSION_COUNTER_H
recursion_countert
Definition:
recursion_counter.h:15
recursion_countert::recursion_countert
recursion_countert(unsigned &_cnt)
Definition:
recursion_counter.h:18
recursion_countert::cnt
unsigned & cnt
Definition:
recursion_counter.h:29
recursion_countert::~recursion_countert
~recursion_countert()
Definition:
recursion_counter.h:23
cpp
recursion_counter.h
Generated by
1.8.14