cvc4-1.4
|
Set the print-success state on the output stream for the current stack scope. More...
#include <command.h>
Public Member Functions | |
Scope (std::ostream &out, bool printSuccess) throw () | |
~Scope () throw () | |
Set the print-success state on the output stream for the current stack scope.
This makes sure the old state is reset on the stream after normal OR exceptional exit from the scope, using the RAII C++ idiom.
|
inline |
Definition at line 123 of file command.h.
References CVC4::options::out, CVC4::options::printSuccess, and CVC4::CommandPrintSuccess::setPrintSuccess().
|
inline |
Definition at line 129 of file command.h.
References CVC4::CommandPrintSuccess::setPrintSuccess().