souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
34 std::function<Own<Node>(Own<Node>)> filterRewriter = [&](Own<Node> node) -> Own<Node> {
37 bool canCollapse =
false;
43 conditions.emplace_back(
filter->getCondition().clone());
46 conditions.emplace_back(nextFilter->getCondition().clone());
47 prevFilter = nextFilter;
A relational algebra query.
Own< Condition > toCondition(const VecOwn< Condition > &conds)
Convert list of conditions to a conjunction.
Operation & getOperation() const
Get nested operation.
Checks whether a given condition holds.
auto clone(const std::vector< A * > &xs)
std::vector< A > filter(std::vector< A > xs, F &&f)
Filter a vector to include certain elements.
const std::string & getProfileText() const
Get profile text.
void visitDepthFirst(const Node &root, Visitor< R, Ps... > &visitor, Args &... args)
A utility function visiting all nodes within the RAM fragments rooted by the given node recursively i...
std::vector< Own< A > > VecOwn
LambdaNodeMapper< Lambda > makeLambdaRamMapper(const Lambda &lambda)
Creates a node mapper based on a corresponding lambda expression.