souffle::ast::transform::InlineRelationsTransformer Class Reference

Transformation pass to inline marked relations. More...

#include <InlineRelations.h>

Inheritance diagram for souffle::ast::transform::InlineRelationsTransformer:

Collaboration diagram for souffle::ast::transform::InlineRelationsTransformer:

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

Private Member Functions
bool	transform (TranslationUnit &translationUnit) override

Detailed Description

Transformation pass to inline marked relations.

Definition at line 34 of file InlineRelations.h.

Member Function Documentation

clone()

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

inlineoverridevirtual

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

Definition at line 46 of file InlineRelations.h.

getName()

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

inlineoverridevirtual

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

Definition at line 42 of file InlineRelations.h.

transform()

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

overrideprivatevirtual

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

Definition at line 1002 of file InlineRelations.cpp.

                           {
        std::set<Clause*> clausesToDelete;
        clausesChanged = false;
 
        // Go through each relation in the program and check if we need to inline any of its clauses
        for (Relation* rel : program.getRelations()) {
            // Skip if the relation is going to be inlined
            if (rel->hasQualifier(RelationQualifier::INLINE)) {
                continue;
            }
 
            // Go through the relation's clauses and try inlining them
            for (Clause* clause : getClauses(program, *rel)) {
                if (containsInlinedAtom(program, *clause)) {
                    // Generate the inlined versions of this clause - the clause will be replaced by these
                    std::vector<Clause*> newClauses = getInlinedClause(program, *clause);
 
                    // Replace the clause with these equivalent versions
                    clausesToDelete.insert(clause);
                    for (Clause* replacementClause : newClauses) {
                        program.addClause(Own<Clause>(replacementClause));
                    }
 
                    // We've changed the program this iteration
                    clausesChanged = true;
                    changed = true;
                }
            }
        }
 
        // Delete all clauses that were replaced
        for (const Clause* clause : clausesToDelete) {
            program.removeClause(clause);
            changed = true;
        }
    }
 
    return changed;
}
 
}  // namespace souffle::ast::transform

---

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

• ast/transform/InlineRelations.h
• ast/transform/InlineRelations.cpp