souffle  2.0.2-371-g6315b36
Public Member Functions | Protected Attributes
souffle::interpreter::UnaryNode Class Reference

Unary node represents interpreter node with a single child. More...

#include <Node.h>

Inheritance diagram for souffle::interpreter::UnaryNode:
Inheritance graph
Collaboration diagram for souffle::interpreter::UnaryNode:
Collaboration graph

Public Member Functions

const NodegetChild () const
 
 UnaryNode (enum NodeType ty, const ram::Node *sdw, Own< Node > child, RelationHandle *relHandle=nullptr)
 
- Public Member Functions inherited from souffle::interpreter::Node
RelationWrappergetRelation () const
 get relation from handle More...
 
const ram::NodegetShadow () 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< Nodechild
 
- Protected Attributes inherited from souffle::interpreter::Node
RelationHandle *const relHandle
 
const ram::Nodeshadow
 
enum NodeType type
 

Additional Inherited Members

- Public Types inherited from souffle::interpreter::Node
using RelationHandle = Own< RelationWrapper >
 

Detailed Description

Unary node represents interpreter node with a single child.

Definition at line 238 of file Node.h.

Constructor & Destructor Documentation

◆ UnaryNode()

souffle::interpreter::UnaryNode::UnaryNode ( enum NodeType  ty,
const ram::Node sdw,
Own< Node child,
RelationHandle relHandle = nullptr 
)
inline

Member Function Documentation

◆ getChild()

const Node* souffle::interpreter::UnaryNode::getChild ( ) const
inline

Definition at line 243 of file Node.h.

243  :
244  BinaryNode(enum NodeType ty, const ram::Node* sdw, Own<Node> lhs, Own<Node> rhs,
245  RelationHandle* relHandle = nullptr)

Field Documentation

◆ child

Own<Node> souffle::interpreter::UnaryNode::child
protected

Definition at line 248 of file Node.h.

Referenced by souffle::interpreter::ExistenceCheck::getRelationName().


The documentation for this class was generated from the following file:
rhs
Own< Argument > rhs
Definition: ResolveAliases.cpp:185
lhs
Own< Argument > lhs
Definition: ResolveAliases.cpp:184
souffle::interpreter::Node::relHandle
RelationHandle *const relHandle
Definition: Node.h:205
souffle::interpreter::NodeType
NodeType
Definition: Node.h:129
souffle::interpreter::Node::Node
Node(enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle=nullptr)
Definition: Node.h:182
souffle::interpreter::Node::RelationHandle
Own< RelationWrapper > RelationHandle
Definition: Node.h:180