souffle
2.0.2-371-g6315b36
|
Breaks out of the loop if a condition holds. More...
#include <Break.h>
Public Member Functions | |
Break (Own< Condition > cond, Own< Operation > nested, std::string profileText="") | |
Break * | clone () const override |
Create a clone (i.e. More... | |
Public Member Functions inherited from souffle::ram::AbstractConditional | |
AbstractConditional (Own< Condition > cond, Own< Operation > nested, std::string profileText="") | |
void | apply (const NodeMapper &map) override |
Apply the mapper to all child nodes. More... | |
std::vector< const Node * > | getChildNodes () const override |
Obtain list of all embedded child nodes. More... | |
const Condition & | getCondition () const |
Get condition that must be satisfied. More... | |
Public Member Functions inherited from souffle::ram::NestedOperation | |
void | apply (const NodeMapper &map) override |
Apply the mapper to all child nodes. More... | |
std::vector< const Node * > | getChildNodes () const override |
Obtain list of all embedded child nodes. More... | |
Operation & | getOperation () const |
Get nested operation. More... | |
const std::string & | getProfileText () const |
Get profile text. More... | |
NestedOperation (Own< Operation > nested, std::string profileText="") | |
Public Member Functions inherited from souffle::ram::Node | |
bool | operator!= (const Node &other) const |
Inequality check for two RAM nodes. More... | |
bool | operator== (const Node &other) const |
Equivalence check for two RAM nodes. More... | |
virtual void | rewrite (const Node *oldNode, Own< Node > newNode) |
Rewrite a child node. More... | |
virtual | ~Node ()=default |
Protected Member Functions | |
void | print (std::ostream &os, int tabpos) const override |
Pretty print with indentation. More... | |
Protected Member Functions inherited from souffle::ram::AbstractConditional | |
bool | equal (const Node &node) const override |
Equality check for two RAM nodes. More... | |
Protected Member Functions inherited from souffle::ram::NestedOperation | |
bool | equal (const Node &node) const override |
Equality check for two RAM nodes. More... | |
void | print (std::ostream &os, int tabpos) const override |
Pretty print with indentation. More... | |
Protected Member Functions inherited from souffle::ram::Operation | |
void | print (std::ostream &os) const override |
Print RAM node. More... | |
Additional Inherited Members | |
Static Protected Member Functions inherited from souffle::ram::Operation | |
static void | print (const Operation *operation, std::ostream &os, int tabpos) |
Pretty print jump-bed. More... | |
Protected Attributes inherited from souffle::ram::AbstractConditional | |
Own< Condition > | condition |
Condition. More... | |
Protected Attributes inherited from souffle::ram::NestedOperation | |
Own< Operation > | nestedOperation |
Nested operation. More... | |
const std::string | profileText |
Text used by the profiler. More... | |
Breaks out of the loop if a condition holds.
The following example will break out of the inner-most loop if the condition (t1.1 = 4) holds:
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ram::AbstractConditional.
Definition at line 54 of file Break.h.
References souffle::ram::AbstractConditional::getCondition(), souffle::ram::NestedOperation::print(), and souffle::times().
|
inlineoverrideprotectedvirtual |
Pretty print with indentation.
Implements souffle::ram::Operation.