souffle
2.0.2-371-g6315b36
|
I/O statement for a relation. More...
#include <IO.h>
Public Member Functions | |
IO * | clone () const override |
Create a clone (i.e. More... | |
const std::string | get (const std::string &key) const |
@get value of I/O directive More... | |
const std::map< std::string, std::string > & | getDirectives () const |
get I/O directives More... | |
IO (std::string rel, std::map< std::string, std::string > directives) | |
Public Member Functions inherited from souffle::ram::RelationStatement | |
const std::string & | getRelation () const |
Get RAM relation. More... | |
RelationStatement (std::string rel) | |
Public Member Functions inherited from souffle::ram::Node | |
virtual void | apply (const NodeMapper &) |
Apply the mapper to all child nodes. More... | |
virtual std::vector< const Node * > | getChildNodes () const |
Obtain list of all embedded child nodes. More... | |
bool | operator!= (const Node &other) const |
Inequality check for two RAM nodes. More... | |
bool | operator== (const Node &other) const |
Equivalence check for two RAM nodes. More... | |
virtual void | rewrite (const Node *oldNode, Own< Node > newNode) |
Rewrite a child node. More... | |
virtual | ~Node ()=default |
Protected Member Functions | |
bool | equal (const Node &node) const override |
Equality check for two RAM nodes. More... | |
void | print (std::ostream &os, int tabpos) const override |
Pretty print with indentation. More... | |
Protected Member Functions inherited from souffle::ram::RelationStatement | |
bool | equal (const Node &node) const override |
Equality check for two RAM nodes. More... | |
Protected Member Functions inherited from souffle::ram::Statement | |
void | print (std::ostream &os) const override |
Print RAM node. More... | |
Protected Attributes | |
const std::map< std::string, std::string > | directives |
IO directives. More... | |
Protected Attributes inherited from souffle::ram::RelationStatement | |
std::string | relation |
Relation. More... | |
Additional Inherited Members | |
Static Protected Member Functions inherited from souffle::ram::Statement | |
static void | print (const Statement *statement, std::ostream &os, int tabpos) |
Pretty print jump-bed. More... | |
I/O statement for a relation.
I/O operation for a relation, e.g., input/output/printsize
|
inline |
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ram::Statement.
Definition at line 57 of file IO.h.
References directives, souffle::join(), souffle::ram::RelationStatement::relation, and souffle::times().
|
inlineoverrideprotectedvirtual |
Equality check for two RAM nodes.
Default action is that nothing needs to be checked.
Reimplemented from souffle::ram::Node.
|
inline |
@get value of I/O directive
Definition at line 53 of file IO.h.
References directives, IO(), and souffle::ram::RelationStatement::relation.
|
inline |
|
inlineoverrideprotectedvirtual |
Pretty print with indentation.
Implements souffle::ram::Statement.
Definition at line 62 of file IO.h.
|
protected |