cprover
recursion_countert Class Reference

#include <recursion_counter.h>

Public Member Functions

 recursion_countert (unsigned &_cnt)
 
 ~recursion_countert ()
 

Protected Attributes

unsigned & cnt
 

Detailed Description

Definition at line 15 of file recursion_counter.h.

Constructor & Destructor Documentation

◆ recursion_countert()

recursion_countert::recursion_countert ( unsigned &  _cnt)
inlineexplicit

Definition at line 18 of file recursion_counter.h.

References cnt.

◆ ~recursion_countert()

recursion_countert::~recursion_countert ( )
inline

Definition at line 23 of file recursion_counter.h.

References cnt.

Member Data Documentation

◆ cnt

unsigned& recursion_countert::cnt
protected

Definition at line 29 of file recursion_counter.h.

Referenced by recursion_countert(), and ~recursion_countert().


The documentation for this class was generated from the following file: