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;
46 const std::string &message)
override;
50 const std::string &message,
55 #endif // CPROVER_UTIL_COUT_MESSAGE_H
virtual void flush(unsigned level) override
virtual void print(unsigned level, const std::string &message) override
virtual void print(unsigned level, const std::string &message) override