print.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <iostream>
#include <string>
 
#include "storm/utility/macros.h"

#define STORM_PRINT(message)  \
    do {                      \
        std::cout << message; \
        std::cout.flush();    \
    } while (false)
 
#define STORM_PRINT_AND_LOG(message) \
    do {                             \
        STORM_LOG_INFO(message);     \
        STORM_PRINT(message);        \
    } while (false)
 
namespace storm {
namespace cli {

std::string shellQuoteSingleIfNecessary(const std::string& arg);
 
void printHeader(std::string const& name, const int argc, const char** argv);
 
void printVersion();
 
void printTimeAndMemoryStatistics(uint64_t wallclockMilliseconds = 0);
 
}  // namespace cli
}  // namespace storm