CBMC
Public Member Functions | Private Attributes | List of all members
solver_progresst Class Reference

#include <solver_progress.h>

Public Member Functions

 solver_progresst (std::size_t __total, bool __verbose)
 
void operator() (std::size_t current)
 
void finished ()
 

Private Attributes

bool first = true
 
std::size_t total = 0
 
bool verbose
 

Detailed Description

Definition at line 17 of file solver_progress.h.

Constructor & Destructor Documentation

◆ solver_progresst()

solver_progresst::solver_progresst ( std::size_t  __total,
bool  __verbose 
)
inline

Definition at line 20 of file solver_progress.h.

Member Function Documentation

◆ finished()

void solver_progresst::finished ( )

Definition at line 47 of file solver_progress.cpp.

◆ operator()()

void solver_progresst::operator() ( std::size_t  current)

Definition at line 18 of file solver_progress.cpp.

Member Data Documentation

◆ first

bool solver_progresst::first = true
private

Definition at line 29 of file solver_progress.h.

◆ total

std::size_t solver_progresst::total = 0
private

Definition at line 30 of file solver_progress.h.

◆ verbose

bool solver_progresst::verbose
private

Definition at line 31 of file solver_progress.h.

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