cprover
|
#include <recursion_counter.h>
Public Member Functions | |
recursion_countert (unsigned &_cnt) | |
~recursion_countert () | |
Protected Attributes | |
unsigned & | cnt |
Definition at line 15 of file recursion_counter.h.
|
inlineexplicit |
Definition at line 18 of file recursion_counter.h.
References cnt.
|
inline |
Definition at line 23 of file recursion_counter.h.
References cnt.
|
protected |
Definition at line 29 of file recursion_counter.h.
Referenced by recursion_countert(), and ~recursion_countert().