souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
47 class ParallelChoice :
public Choice,
public AbstractParallel {
49 ParallelChoice(std::string
rel,
size_t ident, Own<Condition> cond, Own<Operation> nested,
59 void print(std::ostream& os,
int tabpos)
const override {
60 os <<
times(
" ", tabpos);
void print(std::ostream &os, int tabpos) const override
Pretty print with indentation.
const std::string profileText
Text used by the profiler.
Operation & getOperation() const
Get nested operation.
const std::string relation
Search relation.
auto clone(const std::vector< A * > &xs)
detail::multiplying_printer< T > times(const T &value, unsigned num)
A utility printing a given value multiple times.
const std::string & getProfileText() const
Get profile text.
ParallelChoice * clone() const override
Create a clone (i.e.
int getTupleId() const
Get identifier.
Find a tuple in a relation such that a given condition holds.
ParallelChoice(std::string rel, size_t ident, Own< Condition > cond, Own< Operation > nested, std::string profileText="")
Own< Condition > condition
Condition for which a tuple in the relation may hold.
void rel(size_t limit, bool showLimit=true)
const Condition & getCondition() const
Getter for the condition.
void print(std::ostream &os, int tabpos) const override
Pretty print with indentation.
Find a tuple in a relation such that a given condition holds in parallel.