#include <Node.h>

Inheritance diagram for souffle::interpreter::Swap:

Collaboration diagram for souffle::interpreter::Swap:

Public Member Functions
	Swap (enum NodeType ty, const ram::Node *sdw, size_t src, size_t target)

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::BinRelOperation
	BinRelOperation (size_t src, size_t target)

size_t	getSourceId () const

size_t	getTargetId () const

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::BinRelOperation
const size_t	src

const size_t	target

Detailed Description

Definition at line 851 of file Node.h.

Constructor & Destructor Documentation

souffle::interpreter::Swap::Swap	(	enum NodeType	ty,
		const ram::Node *	sdw,
		size_t	src,
		size_t	target
	)

inline

Definition at line 853 of file Node.h.

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