![]() |
Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
|
#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) |
Static Private Attributes | |
static uint8_t | verbosity = 0 |
Print strings and optionally newlines on the terminal output, taking verbosity into account.
Definition at line 237 of file vic_strings.hpp.
|
inline |
Definition at line 242 of file vic_strings.hpp.
void verbose_print::VPrint::nl | ( | uint8_t | v, |
uint8_t | nl = 1 ) |
Print a number of newlines if verbosity warrants it.
Definition at line 140 of file vic_strings.cpp.
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.
v | verbosity level |
s | string |
n | print newlines? |
nl | number of newlines |
Definition at line 126 of file vic_strings.cpp.
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.
v | verbosity level |
s | string |
n | print newlines? |
nl | number of newlines |
Definition at line 106 of file vic_strings.cpp.
|
staticprivate |
Definition at line 239 of file vic_strings.hpp.