souffle
2.0.2-371-g6315b36
|
Indexed aggregation on a relation. The index allows us to iterate over a restricted range. More...
#include <IndexAggregate.h>
Public Member Functions | |
void | apply (const NodeMapper &map) override |
Apply the mapper to all child nodes. More... | |
IndexAggregate * | clone () const override |
Create a clone (i.e. More... | |
std::vector< const Node * > | getChildNodes () const override |
Obtain list of all embedded child nodes. More... | |
IndexAggregate (Own< Operation > nested, AggregateOp fun, std::string rel, Own< Expression > expression, Own< Condition > condition, RamPattern queryPattern, int ident) | |
Public Member Functions inherited from souffle::ram::IndexOperation | |
void | apply (const NodeMapper &map) override |
Apply the mapper to all child nodes. More... | |
IndexOperation * | clone () const override |
Create a clone (i.e. More... | |
std::vector< const Node * > | getChildNodes () const override |
Obtain list of all embedded child nodes. More... | |
std::pair< std::vector< Expression * >, std::vector< Expression * > > | getRangePattern () const |
Get range pattern. More... | |
IndexOperation (std::string rel, int ident, RamPattern queryPattern, Own< Operation > nested, std::string profileText="") | |
void | printIndex (std::ostream &os) const |
Helper method for printing. More... | |
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 |
Public Member Functions inherited from souffle::ram::AbstractAggregate | |
AbstractAggregate (AggregateOp fun, Own< Expression > expr, Own< Condition > cond) | |
std::vector< const Node * > | getChildNodes () const |
const Condition & | getCondition () const |
Get condition. More... | |
const Expression & | getExpression () const |
Get target expression. More... | |
AggregateOp | getFunction () const |
Get aggregation function. More... | |
virtual | ~AbstractAggregate ()=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::IndexOperation | |
bool | equal (const Node &node) const override |
Equality check for two RAM nodes. 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::NestedOperation | |
void | print (std::ostream &os, int tabpos) const override |
Pretty print with indentation. More... | |
Protected Member Functions inherited from souffle::ram::Operation | |
void | print (std::ostream &os) const override |
Print RAM node. More... | |
Protected Member Functions inherited from souffle::ram::AbstractAggregate | |
bool | equal (const Node &node) const |
void | print (std::ostream &os, int) const |
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::IndexOperation | |
RamPattern | queryPattern |
Values of index per column of table (if indexable) 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... | |
Protected Attributes inherited from souffle::ram::AbstractAggregate | |
Own< Condition > | condition |
Aggregation tuple condition. More... | |
Own< Expression > | expression |
Aggregation expression. More... | |
const AggregateOp | function |
Aggregation function. More... | |
Indexed aggregation on a relation. The index allows us to iterate over a restricted range.
For example:
Definition at line 51 of file IndexAggregate.h.
|
inline |
Definition at line 53 of file IndexAggregate.h.
References souffle::ram::AbstractAggregate::getChildNodes(), and souffle::ram::IndexOperation::getChildNodes().
|
inlineoverridevirtual |
Apply the mapper to all child nodes.
Reimplemented from souffle::ram::Node.
Definition at line 77 of file IndexAggregate.h.
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ram::RelationOperation.
Reimplemented in souffle::ram::ParallelIndexAggregate.
Definition at line 65 of file IndexAggregate.h.
|
inlineoverrideprotectedvirtual |
Equality check for two RAM nodes.
Default action is that nothing needs to be checked.
Reimplemented from souffle::ram::Node.
Definition at line 97 of file IndexAggregate.h.
|
inlineoverridevirtual |
Obtain list of all embedded child nodes.
Reimplemented from souffle::ram::Node.
Definition at line 58 of file IndexAggregate.h.
|
inlineoverrideprotectedvirtual |
Pretty print with indentation.
Implements souffle::ram::Operation.
Reimplemented in souffle::ram::ParallelIndexAggregate.
Definition at line 84 of file IndexAggregate.h.