souffle::interpreter::IndexChoice Class Reference

#include <Node.h>

Inheritance diagram for souffle::interpreter::IndexChoice:

Collaboration diagram for souffle::interpreter::IndexChoice:

Public Member Functions
	IndexChoice (enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle, Own< Node > cond, Own< Node > nested, size_t viewId, SuperInstruction superInst)
Public Member Functions inherited from souffle::interpreter::Choice
	Choice (enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle, Own< Node > cond, Own< Node > nested)
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::ConditionalOperation
	ConditionalOperation (Own< Node > cond)
const Node *	getCondition () const
Public Member Functions inherited from souffle::interpreter::NestedOperation
const Node *	getNestedOperation () const
	NestedOperation (Own< Node > nested)
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::Node
RelationHandle *const	relHandle
const ram::Node *	shadow
enum NodeType	type
Protected Attributes inherited from souffle::interpreter::ConditionalOperation
Own< Node >	cond
Protected Attributes inherited from souffle::interpreter::NestedOperation
Own< Node >	nested
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 636 of file Node.h.

Constructor & Destructor Documentation

IndexChoice()

souffle::interpreter::IndexChoice::IndexChoice ( enum NodeType  ty, const ram::Node *  sdw, RelationHandle *  relHandle, Own< Node >  cond, Own< Node >  nested, size_t  viewId, SuperInstruction  superInst  )

inline

Definition at line 638 of file Node.h.

                   : public Node, public NestedOperation {

References souffle::interpreter::UnpackRecord::expr, souffle::interpreter::UnpackRecord::getExpr(), souffle::interpreter::NestedOperation::nested, souffle::interpreter::NestedOperation::NestedOperation(), souffle::interpreter::Node::Node(), and souffle::interpreter::UnpackRecord::UnpackRecord().

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

Here is the call graph for this function:

---

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

• interpreter/Node.h