souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
37 class Extend :
public BinRelationStatement {
57 void print(std::ostream& os,
int tabpos)
const override {
58 os <<
times(
" ", tabpos);
Extend * clone() const override
Create a clone (i.e.
Extend equivalence relation.
detail::multiplying_printer< T > times(const T &value, unsigned num)
A utility printing a given value multiple times.
const std::string first
First relation.
BinRelationStatement(std::string f, std::string s)
const std::string & getTargetRelation() const
Get target relation.
const std::string & getSecondRelation() const
Get second relation.
const std::string & getSourceRelation() const
Get source relation.
Extend(std::string tRef, const std::string &sRef)
void print(std::ostream &os, int tabpos) const override
Pretty print with indentation.
const std::string & getFirstRelation() const
Get first relation.
const std::string second
Second relation.