10 #ifndef CPROVER_UTIL_COUT_MESSAGE_H 11 #define CPROVER_UTIL_COUT_MESSAGE_H 35 const std::string &message)
override;
37 virtual void flush(
unsigned level)
override;
58 const std::string &message)
override;
62 const std::string &message,
67 #endif // CPROVER_UTIL_COUT_MESSAGE_H
console_message_handlert(bool always_flush)
virtual void flush(unsigned level) override
console_message_handlert()
virtual void print(unsigned level, const std::string &message) override
virtual void print(unsigned level, const std::string &message) override