souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
45 class Filter :
public AbstractConditional {
55 void print(std::ostream& os,
int tabpos)
const override {
56 os <<
times(
" ", tabpos);
const std::string profileText
Text used by the profiler.
AbstractConditional(Own< Condition > cond, Own< Operation > nested, std::string profileText="")
Operation & getOperation() const
Get nested operation.
Checks whether a given condition holds.
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.
Filter(Own< Condition > cond, Own< Operation > nested, std::string profileText="")
void print(std::ostream &os, int tabpos) const override
Pretty print with indentation.
const Condition & getCondition() const
Get condition that must be satisfied.
Filter * clone() const override
Create a clone (i.e.
Own< Condition > condition
Condition.
void print(std::ostream &os, int tabpos) const override
Pretty print with indentation.