cvc4-1.4
CVC4::CommandPrintSuccess Class Reference

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 ()
 

Detailed Description

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.

Constructor & Destructor Documentation

◆ CommandPrintSuccess()

CVC4::CommandPrintSuccess::CommandPrintSuccess ( bool  printSuccess)
throw (
)
inline

Construct a CommandPrintSuccess with the given setting.

Definition at line 97 of file command.h.

Member Function Documentation

◆ applyPrintSuccess()

void CVC4::CommandPrintSuccess::applyPrintSuccess ( std::ostream &  out)
throw (
)
inline

Definition at line 99 of file command.h.

References CVC4::options::out.

Referenced by CVC4::operator<<().

◆ getPrintSuccess()

static bool CVC4::CommandPrintSuccess::getPrintSuccess ( std::ostream &  out)
throw (
)
inlinestatic

Definition at line 103 of file command.h.

References CVC4::options::out.

◆ setPrintSuccess()

static void CVC4::CommandPrintSuccess::setPrintSuccess ( std::ostream &  out,
bool  printSuccess 
)
throw (
)
inlinestatic

The documentation for this class was generated from the following file: