souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
34 class LogSize :
public RelationStatement {
48 void print(std::ostream& os,
int tabpos)
const override {
55 bool equal(
const Node& node)
const override {
56 const auto& other =
static_cast<const LogSize&
>(node);
LogSize(std::string rel, std::string message)
bool equal(const Node &node) const override
Equality check for two RAM nodes.
RelationStatement(std::string rel)
std::string relation
Relation.
LogSize * clone() const override
Create a clone (i.e.
Node is a superclass for all RAM IR classes.
std::string stringify(const std::string &input)
Stringify a string using escapes for escape, newline, tab, double-quotes and semicolons.
const std::string & getMessage() const
Get logging message.
detail::multiplying_printer< T > times(const T &value, unsigned num)
A utility printing a given value multiple times.
bool equal(const Node &node) const override
Equality check for two RAM nodes.
void print(std::ostream &os, int tabpos) const override
Pretty print with indentation.
const std::string message
Logging message.
Log relation size and a logging message.
void rel(size_t limit, bool showLimit=true)