souffle
2.0.2-371-g6315b36
|
Binary node represents interpreter node with two children. More...
#include <Node.h>
Public Member Functions | |
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 | |
Own< Node > | lhs |
Own< Node > | rhs |
Protected Attributes inherited from souffle::interpreter::Node | |
RelationHandle *const | relHandle |
const ram::Node * | shadow |
enum NodeType | type |
Additional Inherited Members | |
Public Types inherited from souffle::interpreter::Node | |
using | RelationHandle = Own< RelationWrapper > |
|
inline |
|
inline |
get right child of node
Definition at line 267 of file Node.h.
References souffle::interpreter::SuperInstruction::first, i, and souffle::interpreter::SuperInstruction::SuperInstruction().