souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
34 class ExecutionOrder :
public Node {
36 using ExecOrder = std::vector<unsigned int>;
52 void print(std::ostream& out)
const override {
56 bool equal(
const Node& node)
const override {
An execution order for atoms within a clause; one or more execution orders form a plan.
bool equal(const Node &node) const override
Abstract equality check for two AST nodes.
std::vector< unsigned int > ExecOrder
detail::joined_sequence< Iter, Printer > join(const Iter &a, const Iter &b, const std::string &sep, const Printer &p)
Creates an object to be forwarded to some output stream for printing sequences of elements interspers...
ExecutionOrder(ExecOrder order={}, SrcLocation loc={})
ExecutionOrder * clone() const override
Create a clone (i.e.
const ExecOrder & getOrder() const
Get order.
Abstract class for syntactic elements in an input program.
void setSrcLoc(SrcLocation l)
Set source location for the Node.
void print(std::ostream &out) const override
Output to a given output stream.
const SrcLocation & getSrcLoc() const
Return source location of the Node.
ExecOrder order
Literal order of body (starting from 1)