souffle
2.0.2-371-g6315b36
|
#include "souffle/profile/CellInterface.h"
#include "souffle/profile/Row.h"
#include "souffle/profile/Table.h"
#include <algorithm>
#include <chrono>
#include <cmath>
#include <cstdio>
#include <fstream>
#include <iomanip>
#include <ios>
#include <memory>
#include <sstream>
#include <string>
#include <vector>
#include <unistd.h>
#include <sys/stat.h>
Go to the source code of this file.
Namespaces | |
souffle | |
souffle::profile | |
souffle::profile::Tools | |
Functions | |
std::string | souffle::profile::Tools::cleanJsonOut (double val) |
Convert doubles to NaN or scientific notation. More... | |
std::string | souffle::profile::Tools::cleanJsonOut (std::string value) |
escape escapes and quotes, and remove surrounding quotes More... | |
std::string | souffle::profile::Tools::cleanString (std::string val) |
Remove and \t characters, and \t sequence of two chars, and wrapping quotes. More... | |
bool | souffle::profile::Tools::file_exists (const std::string &name) |
std::string | souffle::profile::Tools::formatMemory (uint64_t kbytes) |
std::string | souffle::profile::Tools::formatNum (double amount) |
std::string | souffle::profile::Tools::formatNum (int precision, int64_t amount) |
std::vector< std::vector< std::string > > | souffle::profile::Tools::formatTable (Table table, int precision) |
std::string | souffle::profile::Tools::formatTime (std::chrono::microseconds number) |
std::vector< std::string > | souffle::profile::Tools::split (std::string toSplit, std::string delimiter) |
split on the delimiter More... | |
std::string | souffle::profile::Tools::trimWhitespace (std::string str) |
Variables | |
static const std::vector< std::string > | souffle::profile::Tools::abbreviations |