|
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 |
1.8.17