#include <Node.h>
Inheritance diagram for souffle::interpreter::Constraint:
Collaboration diagram for souffle::interpreter::Constraint:
Private Member Functions | |
| BinaryNode (enum NodeType ty, const ram::Node *sdw, Own< Node > lhs, Own< Node > rhs, RelationHandle *relHandle=nullptr) | |
Additional Inherited Members | |
 Public Types inherited from souffle::interpreter::Node | |
| using | RelationHandle = Own< RelationWrapper > |
| Public Member Functions inherited from souffle::interpreter::BinaryNode | |
| BinaryNode (enum NodeType ty, const ram::Node *sdw, Own< Node > lhs, Own< Node > rhs, RelationHandle *relHandle=nullptr) | |
| const Node * | getLhs () const |
| get left child of node More... | |
| const Node * | getRhs () const |
| get right child of node More... | |
| 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 |
| Protected Attributes inherited from souffle::interpreter::BinaryNode | |
| Own< Node > | lhs |
| Own< Node > | rhs |
| Protected Attributes inherited from souffle::interpreter::Node | |
| RelationHandle *const | relHandle |
| const ram::Node * | shadow |
| enum NodeType | type |
Detailed Description
Member Function Documentation
◆ BinaryNode()
|
inlineprivate |
The documentation for this class was generated from the following file:
- interpreter/Node.h
