|
Connect++ 0.1
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) |
Print strings and optionally newlines on the terminal output, taking verbosity into account.
| void verbose_print::VPrint::nl | ( | uint8_t | v, |
| uint8_t | nl = 1 |
||
| ) |
Print a number of newlines if verbosity warrants it.
| 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 |
| 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 |