Connect++ 0.1
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Public Member Functions | List of all members
verbose_print::VPrint Class Reference

#include <vic_strings.hpp>

Public Member Functions

 VPrint (uint8_t v)
 
void operator() (uint8_t, const string &, bool=false, uint8_t=1)
 
void operator() (uint8_t, char *, bool=false, uint8_t=1)
 
void nl (uint8_t, uint8_t=1)
 

Detailed Description

Print strings and optionally newlines on the terminal output, taking verbosity into account.

Member Function Documentation

◆ nl()

void verbose_print::VPrint::nl ( uint8_t  v,
uint8_t  nl = 1 
)

Print a number of newlines if verbosity warrants it.

◆ operator()() [1/2]

void verbose_print::VPrint::operator() ( uint8_t  v,
char *  s,
bool  n = false,
uint8_t  nl = 1 
)

Print something, plus optionally newlines, if verbosity warrants it.

Parameters
vverbosity level
sstring
nprint newlines?
nlnumber of newlines

◆ operator()() [2/2]

void verbose_print::VPrint::operator() ( uint8_t  v,
const string &  s,
bool  n = false,
uint8_t  nl = 1 
)

Print something, plus optionally newlines, if verbosity warrants it.

Parameters
vverbosity level
sstring
nprint newlines?
nlnumber of newlines

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