#include <Node.h>
Inheritance diagram for souffle::interpreter::Filter:
Collaboration diagram for souffle::interpreter::Filter:
Public Member Functions | |
| Filter (enum NodeType ty, const ram::Node *sdw, Own< Node > cond, Own< Node > nested) | |
 Public Member Functions inherited from souffle::interpreter::Node | |
| RelationWrapper * | getRelation () const |
| get relation from handle More... | |
| const ram::Node * | getShadow () const |
| get shadow node, i.e., RAM node More... | |
| enum NodeType | getType () const |
| get node type More... | |
| Node (enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle=nullptr) | |
| virtual | ~Node ()=default |
| Public Member Functions inherited from souffle::interpreter::ConditionalOperation | |
| ConditionalOperation (Own< Node > cond) | |
| const Node * | getCondition () const |
| Public Member Functions inherited from souffle::interpreter::NestedOperation | |
| const Node * | getNestedOperation () const |
| NestedOperation (Own< Node > nested) | |
Additional Inherited Members | |
| Public Types inherited from souffle::interpreter::Node | |
| using | RelationHandle = Own< RelationWrapper > |
| Protected Attributes inherited from souffle::interpreter::Node | |
| RelationHandle *const | relHandle |
| const ram::Node * | shadow |
| enum NodeType | type |
| Protected Attributes inherited from souffle::interpreter::ConditionalOperation | |
| Own< Node > | cond |
| Protected Attributes inherited from souffle::interpreter::NestedOperation | |
| Own< Node > | nested |
Detailed Description
Constructor & Destructor Documentation
◆ Filter()
|
inline |
Definition at line 725 of file Node.h.
References souffle::interpreter::CompoundNode::CompoundNode().
Here is the call graph for this function:
The documentation for this class was generated from the following file:
- interpreter/Node.h
