souffle  2.0.2-371-g6315b36
Private Member Functions
souffle::interpreter::ParallelChoice Class Reference

#include <Node.h>

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

Private Member Functions

 Choice (enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle, Own< Node > cond, Own< Node > nested)
 

Additional Inherited Members

- Public Types inherited from souffle::interpreter::Node
using RelationHandle = Own< RelationWrapper >
 
- 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::AbstractParallel
ViewContext * getViewContext () const
 get view context for operations More...
 
void setViewContext (const std::shared_ptr< ViewContext > &v)
 set view context More...
 
- 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::AbstractParallel
std::shared_ptr< ViewContext > viewContext = nullptr
 

Detailed Description

Definition at line 629 of file Node.h.

Member Function Documentation

◆ Choice()

souffle::interpreter::Choice::Choice
inlineprivate

Definition at line 620 of file Node.h.

623  : public Choice, public SuperOperation, public ViewOperation {

The documentation for this class was generated from the following file:
souffle::interpreter::Choice::Choice
Choice(enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle, Own< Node > cond, Own< Node > nested)
Definition: Node.h:620