CBMC
Loading...
Searching...
No Matches
Public Member Functions | Private Attributes | List of all members
solver_progresst Class Reference

#include <solver_progress.h>

Public Member Functions

 
void  operator() (std::size_t current)
 
 

Private Attributes

 
std::size_t  total = 0
 
 

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:

AltStyle によって変換されたページ (->オリジナル) /