print.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <string>
 
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