souffle::ram::transform::TupleIdTransformer Class Reference

Ordering tupleIds in TupleOperation operations correctly. More...

#include <TupleId.h>

Inheritance diagram for souffle::ram::transform::TupleIdTransformer:

Collaboration diagram for souffle::ram::transform::TupleIdTransformer:

Public Member Functions
std::string	getName () const override
	@Brief get name of the transformer More...
bool	reorderOperations (Program &program)
	Apply tupleId reordering to the whole program. 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

Ordering tupleIds in TupleOperation operations correctly.

Transformations, like MakeIndex and IfConversion do not ensure that TupleOperations maintain an appropriate order with respect to their tupleId's

For example: SEARCH ... (tupleId = 2) ... SEARCH ... (tupleId = 1) ...

Will be converted to SEARCH ... (tupleId = 0) ... SEARCH ... (tupleId = 1) ...

Definition at line 49 of file TupleId.h.

Member Function Documentation

getName()

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

inlineoverridevirtual

@Brief get name of the transformer

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

Definition at line 51 of file TupleId.h.

         :
    bool transform(TranslationUnit& translationUnit) override {

reorderOperations()

bool souffle::ram::transform::TupleIdTransformer::reorderOperations

(

Program &

program

)

Apply tupleId reordering to the whole program.

Parameters

RAM

program

Returns

A flag indicating whether the RAM program has been changed.

Search for TupleOperations and TupleElements and rewrite their tupleIds

Definition at line 33 of file TupleId.cpp.

                                                                 {
            if (ctr != search.getTupleId()) {
                changed = true;
            }
            reorder[search.getTupleId()] = ctr;
            const_cast<TupleOperation*>(&search)->setTupleId(ctr);
            ctr++;
        });
 
        std::function<Own<Node>(Own<Node>)> elementRewriter = [&](Own<Node> node) -> Own<Node> {
            if (auto* element = dynamic_cast<TupleElement*>(node.get())) {
                if (reorder[element->getTupleId()] != element->getTupleId()) {
                    changed = true;
                    node = mk<TupleElement>(reorder[element->getTupleId()], element->getElement());
                }
            }
            node->apply(makeLambdaRamMapper(elementRewriter));
            return node;
        };
        const_cast<Query*>(&query)->apply(makeLambdaRamMapper(elementRewriter));
    });
 
    return changed;
}
 
}  // namespace souffle::ram::transform

References souffle::ram::TupleOperation::getTupleId(), and souffle::ram::TupleOperation::setTupleId().

Here is the call graph for this function:

transform()

bool souffle::ram::transform::TupleIdTransformer::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 65 of file TupleId.h.

---

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

• ram/transform/TupleId.h
• ram/transform/TupleId.cpp