|
souffle
2.0.2-371-g6315b36
|
Iterate all tuples of a relation in parallel. More...
#include <ParallelScan.h>


Public Member Functions | |
| ParallelScan * | clone () const override |
| Create a clone (i.e. More... | |
| ParallelScan (std::string rel, int ident, Own< Operation > nested, std::string profileText="") | |
Public Member Functions inherited from souffle::ram::Scan | |
| Scan * | clone () const override |
| Create a clone (i.e. More... | |
| Scan (std::string rel, int ident, Own< Operation > nested, std::string profileText="") | |
Public Member Functions inherited from souffle::ram::RelationOperation | |
| const std::string & | getRelation () const |
| Get search relation. More... | |
| RelationOperation (std::string rel, int ident, Own< Operation > nested, std::string profileText="") | |
Public Member Functions inherited from souffle::ram::TupleOperation | |
| std::vector< const Node * > | getChildNodes () const override |
| Obtain list of all embedded child nodes. More... | |
| int | getTupleId () const |
| Get identifier. More... | |
| void | setTupleId (int id) |
| Set identifier. More... | |
| TupleOperation (int ident, Own< Operation > nested, std::string profileText="") | |
Public Member Functions inherited from souffle::ram::NestedOperation | |
| void | apply (const NodeMapper &map) override |
| Apply the mapper to all child nodes. More... | |
| Operation & | getOperation () const |
| Get nested operation. More... | |
| const std::string & | getProfileText () const |
| Get profile text. More... | |
| NestedOperation (Own< Operation > nested, std::string profileText="") | |
Public Member Functions inherited from souffle::ram::Node | |
| 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 | |
| void | print (std::ostream &os, int tabpos) const override |
| Pretty print with indentation. More... | |
Protected Member Functions inherited from souffle::ram::Scan | |
| void | print (std::ostream &os, int tabpos) const override |
| Pretty print with indentation. More... | |
Protected Member Functions inherited from souffle::ram::RelationOperation | |
| bool | equal (const Node &node) const override |
| Equality check for two RAM nodes. More... | |
Protected Member Functions inherited from souffle::ram::TupleOperation | |
| bool | equal (const Node &node) const override |
| Equality check for two RAM nodes. More... | |
Protected Member Functions inherited from souffle::ram::Operation | |
| void | print (std::ostream &os) const override |
| Print RAM node. More... | |
Additional Inherited Members | |
Static Protected Member Functions inherited from souffle::ram::Operation | |
| static void | print (const Operation *operation, std::ostream &os, int tabpos) |
| Pretty print jump-bed. More... | |
Protected Attributes inherited from souffle::ram::RelationOperation | |
| const std::string | relation |
| Search relation. More... | |
Protected Attributes inherited from souffle::ram::TupleOperation | |
| int | identifier |
| Identifier for the tuple, corresponding to its position in the loop nest. More... | |
Protected Attributes inherited from souffle::ram::NestedOperation | |
| Own< Operation > | nestedOperation |
| Nested operation. More... | |
| const std::string | profileText |
| Text used by the profiler. More... | |
Iterate all tuples of a relation in parallel.
An example:
Definition at line 52 of file ParallelScan.h.
|
inline |
Definition at line 54 of file ParallelScan.h.
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ram::RelationOperation.
Definition at line 57 of file ParallelScan.h.
|
inlineoverrideprotectedvirtual |
Pretty print with indentation.
Reimplemented from souffle::ram::NestedOperation.
Definition at line 62 of file ParallelScan.h.
1.8.17