souffle
2.0.2-371-g6315b36
|
Access element from the current tuple in a tuple environment. More...
#include <TupleElement.h>
Public Member Functions | |
TupleElement * | clone () const override |
Create a clone (i.e. More... | |
size_t | getElement () const |
Get element. More... | |
int | getTupleId () const |
Get identifier. More... | |
TupleElement (size_t ident, size_t elem) | |
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) const override |
Print RAM node. More... | |
Protected Attributes | |
const size_t | element |
Element number. More... | |
const size_t | identifier |
Identifier for the tuple. More... | |
Access element from the current tuple in a tuple environment.
In the following example, the tuple element t0.1 is accessed:
Definition at line 42 of file TupleElement.h.
|
inline |
Definition at line 44 of file TupleElement.h.
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ram::Expression.
Definition at line 55 of file TupleElement.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 64 of file TupleElement.h.
|
inline |
|
inline |
Get identifier.
Definition at line 46 of file TupleElement.h.
Referenced by souffle::ram::transform::ChoiceConversionTransformer::rewriteIndexScan(), and souffle::ram::transform::ChoiceConversionTransformer::rewriteScan().
|
inlineoverrideprotectedvirtual |
|
protected |
Element number.
Definition at line 73 of file TupleElement.h.
|
protected |
Identifier for the tuple.
Definition at line 70 of file TupleElement.h.