souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
46 class EmptinessCheck :
public Condition {
60 void print(std::ostream& os)
const override {
64 bool equal(
const Node& node)
const override {
void print(std::ostream &os) const override
Print RAM node.
const std::string & getRelation() const
Get relation.
Node is a superclass for all RAM IR classes.
EmptinessCheck * clone() const override
Create a clone (i.e.
bool equal(const Node &node) const override
Equality check for two RAM nodes.
Emptiness check for a relation.
const std::string relation
Relation.
EmptinessCheck(std::string rel)
void rel(size_t limit, bool showLimit=true)