souffle::ast::transform::NormaliseMultiResultFunctorsTransformer Class Reference

Uniquely names all appearances of ranges. More...

#include <NormaliseMultiResultFunctors.h>

Inheritance diagram for souffle::ast::transform::NormaliseMultiResultFunctorsTransformer:

Collaboration diagram for souffle::ast::transform::NormaliseMultiResultFunctorsTransformer:

Public Member Functions
std::string	getName () const override
Public Member Functions inherited from souffle::ast::transform::Transformer
bool	apply (TranslationUnit &translationUnit)
virtual	~Transformer ()=default

Private Member Functions
NormaliseMultiResultFunctorsTransformer *	clone () const override
bool	transform (TranslationUnit &translationUnit) override

Detailed Description

Uniquely names all appearances of ranges.

Definition at line 30 of file NormaliseMultiResultFunctors.h.

Member Function Documentation

clone()

NormaliseMultiResultFunctorsTransformer* souffle::ast::transform::NormaliseMultiResultFunctorsTransformer::clone ( ) const

inlineoverrideprivatevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 45 of file NormaliseMultiResultFunctors.h.

getName()

std::string souffle::ast::transform::NormaliseMultiResultFunctorsTransformer::getName ( ) const

inlineoverridevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 38 of file NormaliseMultiResultFunctors.h.

transform()

bool souffle::ast::transform::NormaliseMultiResultFunctorsTransformer::transform ( TranslationUnit &  translationUnit )

overrideprivatevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 34 of file NormaliseMultiResultFunctors.cpp.

                         {0};
        mutable std::vector<std::pair<std::string, Own<IntrinsicFunctor>>> functorNames{};
        name_functors() = default;
 
        std::vector<std::pair<std::string, Own<IntrinsicFunctor>>> getFunctorNames() {
            return std::move(functorNames);
        }
 
        Own<Node> operator()(Own<Node> node) const override {
            node->apply(*this);
            if (auto* inf = dynamic_cast<IntrinsicFunctor*>(node.get())) {
                if (analysis::FunctorAnalysis::isMultiResult(*inf)) {
                    std::stringstream newName;
                    newName << "@multires_" << count++;
                    functorNames.push_back({newName.str(), Own<IntrinsicFunctor>(inf->clone())});
                    return mk<Variable>(newName.str());
                }
            }
            return node;
        }
    };
 
    // Apply the mapper to each clause
    for (auto* clause : program.getClauses()) {
        name_functors update;
        clause->apply(update);
        for (auto& [name, func] : update.getFunctorNames()) {
            changed = true;
            clause->addToBody(
                    mk<BinaryConstraint>(BinaryConstraintOp::EQ, mk<Variable>(name), std::move(func)));
        }
    }
    return changed;
}
 
}  // namespace souffle::ast::transform

---

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

• ast/transform/NormaliseMultiResultFunctors.h
• ast/transform/NormaliseMultiResultFunctors.cpp