cvc4-1.4
|
IOStream manipulator to print success messages or not. More...
#include <command.h>
Data Structures | |
class | Scope |
Set the print-success state on the output stream for the current stack scope. More... | |
Public Member Functions | |
CommandPrintSuccess (bool printSuccess) throw () | |
Construct a CommandPrintSuccess with the given setting. More... | |
void | applyPrintSuccess (std::ostream &out) throw () |
Static Public Member Functions | |
static bool | getPrintSuccess (std::ostream &out) throw () |
static void | setPrintSuccess (std::ostream &out, bool printSuccess) throw () |
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).
|
inline |
Construct a CommandPrintSuccess with the given setting.
|
inline |
Definition at line 99 of file command.h.
References CVC4::options::out.
|
inlinestatic |
Definition at line 103 of file command.h.
References CVC4::options::out.
|
inlinestatic |
Definition at line 107 of file command.h.
References CVC4::options::out, and CVC4::options::printSuccess.
Referenced by CVC4::CommandPrintSuccess::Scope::Scope(), and CVC4::CommandPrintSuccess::Scope::~Scope().