Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
verbose_print::VPrint Member List

This is the complete list of members for verbose_print::VPrint, including all inherited members.

nl(uint8_t, uint8_t=1)verbose_print::VPrint
operator()(uint8_t, const string &, bool=false, uint8_t=1)verbose_print::VPrint
operator()(uint8_t, char *, bool=false, uint8_t=1)verbose_print::VPrint
verbosity (defined in verbose_print::VPrint)verbose_print::VPrintprivatestatic
VPrint()=delete (defined in verbose_print::VPrint)verbose_print::VPrint
VPrint(uint8_t v) (defined in verbose_print::VPrint)verbose_print::VPrintinline