souffle::ram::transform::ReorderFilterBreak Class Reference

#include <ReorderFilterBreak.h>

Inheritance diagram for souffle::ram::transform::ReorderFilterBreak:

Collaboration diagram for souffle::ram::transform::ReorderFilterBreak:

Public Member Functions
std::string	getName () const override
	@Brief get name of the transformer More...
bool	reorderFilterBreak (Program &program)
	reorder filter-break nesting to break-filter nesting 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

Definition at line 53 of file ReorderFilterBreak.h.

Member Function Documentation

getName()

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

inlineoverridevirtual

@Brief get name of the transformer

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

Definition at line 55 of file ReorderFilterBreak.h.

         :
    bool transform(TranslationUnit& translationUnit) override {

reorderFilterBreak()

bool souffle::ram::transform::ReorderFilterBreak::reorderFilterBreak

(

Program &

program

)

reorder filter-break nesting to break-filter nesting

Parameters

program

Program that is transform

Returns

Flag showing whether the program has been changed by the transformation

Definition at line 33 of file ReorderFilterBreak.cpp.

                                                                          {
                if (const Break* br = dynamic_cast<Break*>(&filter->getOperation())) {
                    changed = true;
                    // convert to break-filter nesting
                    node = mk<Break>(souffle::clone(&br->getCondition()),
                            mk<Filter>(souffle::clone(&filter->getCondition()),
                                    souffle::clone(&br->getOperation())));
                }
            }
            node->apply(makeLambdaRamMapper(filterRewriter));
            return node;
        };
        const_cast<Query*>(&query)->apply(makeLambdaRamMapper(filterRewriter));
    });
    return changed;
}
 
}  // namespace souffle::ram::transform

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

Here is the call graph for this function:

transform()

bool souffle::ram::transform::ReorderFilterBreak::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 67 of file ReorderFilterBreak.h.

---

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

• ram/transform/ReorderFilterBreak.h
• ram/transform/ReorderFilterBreak.cpp