souffle
2.0.2-371-g6315b36
|
An execution order for atoms within a clause; one or more execution orders form a plan. More...
#include <ExecutionOrder.h>
Public Types | |
using | ExecOrder = std::vector< unsigned int > |
Public Member Functions | |
ExecutionOrder * | clone () const override |
Create a clone (i.e. More... | |
ExecutionOrder (ExecOrder order={}, SrcLocation loc={}) | |
const ExecOrder & | getOrder () const |
Get order. More... | |
Public Member Functions inherited from souffle::ast::Node | |
virtual void | apply (const NodeMapper &) |
Apply the mapper to all child nodes. More... | |
std::string | extloc () const |
Return source location of the syntactic element. More... | |
virtual std::vector< const Node * > | getChildNodes () const |
Obtain a list of all embedded AST child nodes. More... | |
const SrcLocation & | getSrcLoc () const |
Return source location of the Node. More... | |
Node (SrcLocation loc={}) | |
bool | operator!= (const Node &other) const |
Inequality check for two AST nodes. More... | |
bool | operator== (const Node &other) const |
Equivalence check for two AST nodes. More... | |
void | setSrcLoc (SrcLocation l) |
Set source location for the Node. More... | |
virtual | ~Node ()=default |
Protected Member Functions | |
bool | equal (const Node &node) const override |
Abstract equality check for two AST nodes. More... | |
void | print (std::ostream &out) const override |
Output to a given output stream. More... | |
Private Attributes | |
ExecOrder | order |
Literal order of body (starting from 1) More... | |
An execution order for atoms within a clause; one or more execution orders form a plan.
Definition at line 40 of file ExecutionOrder.h.
using souffle::ast::ExecutionOrder::ExecOrder = std::vector<unsigned int> |
Definition at line 42 of file ExecutionOrder.h.
|
inline |
Definition at line 44 of file ExecutionOrder.h.
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ast::Node.
Definition at line 53 of file ExecutionOrder.h.
|
inlineoverrideprotectedvirtual |
Abstract equality check for two AST nodes.
Reimplemented from souffle::ast::Node.
Definition at line 62 of file ExecutionOrder.h.
|
inline |
|
inlineoverrideprotectedvirtual |
Output to a given output stream.
Implements souffle::ast::Node.
Definition at line 58 of file ExecutionOrder.h.
|
private |
Literal order of body (starting from 1)
Definition at line 69 of file ExecutionOrder.h.