souffle::ram::transform::ExpandFilterTransformer Class Reference

Transforms Conjunctions into consecutive filter operations. More...

#include <ExpandFilter.h>

Inheritance diagram for souffle::ram::transform::ExpandFilterTransformer:

Collaboration diagram for souffle::ram::transform::ExpandFilterTransformer:

Public Member Functions
bool	expandFilters (Program &program)
	Expand filter operations. More...
std::string	getName () const override
	@Brief get name of the transformer More...
Public Member Functions inherited from souffle::ram::transform::Transformer
bool	apply (TranslationUnit &translationUnit)
	@Brief apply the transformer to a translation unit @Param translationUnit that will be transformed. More...
virtual	~Transformer ()=default

Protected Member Functions
bool	transform (TranslationUnit &translationUnit) override
	@Brief transform the translation unit / used by apply @Param translationUnit that will be transformed. More...

Detailed Description

Transforms Conjunctions into consecutive filter operations.

For example ..

QUERY
 ...
  IF C1 /\ C2 then
   ...

will be rewritten to

QUERY
 ...
  IF C1
   IF C2
    ...

Definition at line 52 of file ExpandFilter.h.

Member Function Documentation

expandFilters()

bool souffle::ram::transform::ExpandFilterTransformer::expandFilters

(

Program &

program

)

Expand filter operations.

Parameters

program

Program that is transformed

Returns

Flag showing whether the program has been changed by the transformation

Definition at line 37 of file ExpandFilter.cpp.

                                                                          {
                const Condition* condition = &filter->getCondition();
                VecOwn<Condition> conditionList = toConjunctionList(condition);
                if (conditionList.size() > 1) {
                    changed = true;
                    VecOwn<Filter> filters;
                    for (auto& cond : conditionList) {
                        if (filters.empty()) {
                            filters.emplace_back(mk<Filter>(
                                    souffle::clone(cond), souffle::clone(&filter->getOperation())));
                        } else {
                            filters.emplace_back(mk<Filter>(souffle::clone(cond), std::move(filters.back())));
                        }
                    }
                    node = std::move(filters.back());
                }
            }
            node->apply(makeLambdaRamMapper(filterRewriter));
            return node;
        };
        const_cast<Query*>(&query)->apply(makeLambdaRamMapper(filterRewriter));
    });
    return changed;
}
 
}  // namespace ram::transform
}  // end of namespace souffle

References souffle::clone(), souffle::filter(), and souffle::ram::toConjunctionList().

Here is the call graph for this function:

getName()

std::string souffle::ram::transform::ExpandFilterTransformer::getName ( ) const

inlineoverridevirtual

@Brief get name of the transformer

Implements souffle::ram::transform::Transformer.

Definition at line 54 of file ExpandFilter.h.

         :
    bool transform(TranslationUnit& translationUnit) override {

transform()

bool souffle::ram::transform::ExpandFilterTransformer::transform ( TranslationUnit &  translationUnit )

inlineoverrideprotectedvirtual

@Brief transform the translation unit / used by apply @Param translationUnit that will be transformed.

@Return flag reporting whether the RAM program has changed

Implements souffle::ram::transform::Transformer.

Definition at line 66 of file ExpandFilter.h.

---

The documentation for this class was generated from the following files:

• ram/transform/ExpandFilter.h
• ram/transform/ExpandFilter.cpp