IOStream manipulator to print success messages or not.
More...
#include <command.h>
|
class | Scope |
| Set the print-success state on the output stream for the current stack scope. More...
|
|
IOStream manipulator to print success messages or not.
out << Command::printsuccess(false) << CommandSuccess();
prints nothing, but
out << Command::printsuccess(true) << CommandSuccess();
prints a success message (in a manner appropriate for the current output language).
Definition at line 76 of file command.h.
◆ CommandPrintSuccess()
CVC4::CommandPrintSuccess::CommandPrintSuccess |
( |
bool | printSuccess | ) |
|
throw | ( | ) | | | |
|
inline |
◆ applyPrintSuccess()
void CVC4::CommandPrintSuccess::applyPrintSuccess |
( |
std::ostream & | out | ) |
|
throw | ( | ) | | | |
|
inline |
◆ getPrintSuccess()
static bool CVC4::CommandPrintSuccess::getPrintSuccess |
( |
std::ostream & | out | ) |
|
throw | ( | ) | | | |
|
inlinestatic |
◆ setPrintSuccess()
static void CVC4::CommandPrintSuccess::setPrintSuccess |
( |
std::ostream & | out, |
|
|
bool | printSuccess ) |
throw | ( | ) | | | |
|
inlinestatic |
The documentation for this class was generated from the following file: