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

#include <Node.h>

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

Public Member Functions

const NodegetExpr () const
 
 UnpackRecord (enum NodeType ty, const ram::Node *sdw, Own< Node > expr, Own< Node > nested)
 
- 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
 
- Public Member Functions inherited from souffle::interpreter::NestedOperation
const NodegetNestedOperation () const
 
 NestedOperation (Own< Node > nested)
 

Protected Attributes

Own< Nodeexpr
 
- Protected Attributes inherited from souffle::interpreter::Node
RelationHandle *const relHandle
 
const ram::Nodeshadow
 
enum NodeType type
 
- Protected Attributes inherited from souffle::interpreter::NestedOperation
Own< Nodenested
 

Additional Inherited Members

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

Detailed Description

Definition at line 654 of file Node.h.

Constructor & Destructor Documentation

◆ UnpackRecord()

souffle::interpreter::UnpackRecord::UnpackRecord ( enum NodeType  ty,
const ram::Node sdw,
Own< Node expr,
Own< Node nested 
)
inline

Definition at line 656 of file Node.h.

657  : public Node, public ConditionalOperation, public NestedOperation {

Referenced by souffle::interpreter::IndexChoice::IndexChoice().

Member Function Documentation

◆ getExpr()

const Node* souffle::interpreter::UnpackRecord::getExpr ( ) const
inline

Definition at line 659 of file Node.h.

661  : Node(ty, sdw, relHandle), ConditionalOperation(std::move(filter)),

Referenced by souffle::interpreter::IndexChoice::IndexChoice().

Field Documentation

◆ expr

Own<Node> souffle::interpreter::UnpackRecord::expr
protected

Definition at line 664 of file Node.h.

Referenced by souffle::interpreter::IndexChoice::IndexChoice().


The documentation for this class was generated from the following file:
souffle::interpreter::Node::relHandle
RelationHandle *const relHandle
Definition: Node.h:205
souffle::interpreter::Node::Node
Node(enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle=nullptr)
Definition: Node.h:182
souffle::filter
std::vector< A > filter(std::vector< A > xs, F &&f)
Filter a vector to include certain elements.
Definition: FunctionalUtil.h:155
souffle::interpreter::NestedOperation::NestedOperation
NestedOperation(Own< Node > nested)
Definition: Node.h:389