souffle
2.0.2-371-g6315b36
Main Page
Namespaces
Namespace List
Namespace Members
All
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
r
s
t
u
v
w
y
Functions
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
r
s
t
u
v
w
Variables
a
c
d
e
f
h
i
j
m
n
p
r
s
t
Typedefs
a
b
c
e
f
i
l
m
n
o
p
r
s
t
u
v
y
Enumerations
Enumerator
Data Structures
Data Structures
Class Hierarchy
Data Fields
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
~
Functions
_
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
q
r
s
t
u
v
w
~
Variables
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
Typedefs
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
r
s
t
v
Enumerations
Enumerator
Related Functions
d
e
f
j
o
p
q
s
t
v
Files
File List
Globals
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
y
Functions
c
e
f
g
h
i
m
n
o
q
r
s
t
u
v
y
Variables
_
b
c
d
e
f
h
i
j
k
l
m
n
o
p
q
r
s
t
v
y
Typedefs
Macros
_
a
b
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
y
souffle
interpreter
ParallelIndexChoice
Private Member Functions
souffle::interpreter::ParallelIndexChoice Class Reference
#include <
Node.h
>
Inheritance diagram for souffle::interpreter::ParallelIndexChoice:
Collaboration diagram for souffle::interpreter::ParallelIndexChoice:
Private Member Functions
IndexChoice
(enum
NodeType
ty, const
ram::Node
*sdw,
RelationHandle
*
relHandle
,
Own
<
Node
>
cond
,
Own
<
Node
>
nested
, size_t
viewId
,
SuperInstruction
superInst
)
Additional Inherited Members
Public Types inherited from
souffle::interpreter::Node
using
RelationHandle
=
Own
<
RelationWrapper
>
Public Member Functions inherited from
souffle::interpreter::IndexChoice
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
)
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::SuperOperation
const
SuperInstruction
superInst
Protected Attributes inherited from
souffle::interpreter::ViewOperation
size_t
viewId
Protected Attributes inherited from
souffle::interpreter::AbstractParallel
std::shared_ptr<
ViewContext
>
viewContext
= nullptr
Detailed Description
Definition at line
647
of file
Node.h
.
Member Function Documentation
◆
IndexChoice()
souffle::interpreter::IndexChoice::IndexChoice
inline
private
Definition at line
638
of file
Node.h
.
641
:
public
Node
,
public
NestedOperation
{
The documentation for this class was generated from the following file:
interpreter/
Node.h
souffle::interpreter::Node::Node
Node(enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle=nullptr)
Definition:
Node.h:182
souffle::interpreter::NestedOperation::NestedOperation
NestedOperation(Own< Node > nested)
Definition:
Node.h:389
Generated by
1.8.17