Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
print.h
Go to the documentation of this file.
1#pragma once
2
3#include <cstdint>
4#include <string>
5
6namespace storm {
7namespace cli {
8
14std::string shellQuoteSingleIfNecessary(const std::string& arg);
15
16void printHeader(std::string const& name, const int argc, const char** argv);
17
18void printVersion();
19
20void printTimeAndMemoryStatistics(uint64_t wallclockMilliseconds = 0);
21
22} // namespace cli
23} // namespace storm
storm::cli::printTimeAndMemoryStatistics
void printTimeAndMemoryStatistics(uint64_t wallclockMilliseconds)
Definition print.cpp:154
storm::cli::shellQuoteSingleIfNecessary
std::string shellQuoteSingleIfNecessary(const std::string &arg)
For a command-line argument, returns a quoted version with single quotes if it contains unsafe charac...
Definition print.cpp:36
storm::cli::printHeader
void printHeader(std::string const &name, const int argc, const char **argv)
Definition print.cpp:57
storm::cli::printVersion
void printVersion()
Definition print.cpp:79