![]()  | 
  
    Connect++ 0.6.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 240 of file vic_strings.hpp.
      
  | 
  inline | 
Definition at line 245 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 142 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 128 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 108 of file vic_strings.cpp.
      
  | 
  staticprivate | 
Definition at line 242 of file vic_strings.hpp.