#include <Node.h>

Inheritance diagram for souffle::interpreter::ProvenanceExistenceCheck:

Collaboration diagram for souffle::interpreter::ProvenanceExistenceCheck:

Public Member Functions
	ProvenanceExistenceCheck (enum NodeType ty, const ram::Node *sdw, Own< Node > child, size_t viewId, SuperInstruction superInst)

Public Member Functions inherited from souffle::interpreter::UnaryNode
const Node *	getChild () const

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

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::SuperOperation
const SuperInstruction &	getSuperInst () const

	SuperOperation (SuperInstruction superInst)

Public Member Functions inherited from souffle::interpreter::ViewOperation
size_t	getViewId () const

	ViewOperation (size_t id)

Additional Inherited Members
Public Types inherited from souffle::interpreter::Node
using	RelationHandle = Own< RelationWrapper >

Protected Attributes inherited from souffle::interpreter::UnaryNode
Own< Node >	child

Protected Attributes inherited from souffle::interpreter::Node
RelationHandle *const	relHandle

const ram::Node *	shadow

enum NodeType	type

Protected Attributes inherited from souffle::interpreter::SuperOperation
const SuperInstruction	superInst

Protected Attributes inherited from souffle::interpreter::ViewOperation
size_t	viewId

Detailed Description

Definition at line 558 of file Node.h.

Constructor & Destructor Documentation

souffle::interpreter::ProvenanceExistenceCheck::ProvenanceExistenceCheck	(	enum NodeType	ty,
		const ram::Node *	sdw,
		Own< Node >	child,
		size_t	viewId,
		SuperInstruction	superInst
	)

inline

Definition at line 560 of file Node.h.

563 : public UnaryNode {

Here is the call graph for this function:

The documentation for this class was generated from the following file: