souffle::ast::transform::RemoveRedundantRelationsTransformer Class Reference

Transformation pass to remove relations which are redundant (do not contribute to output). More...

#include <RemoveRedundantRelations.h>

Inheritance diagram for souffle::ast::transform::RemoveRedundantRelationsTransformer:

Collaboration diagram for souffle::ast::transform::RemoveRedundantRelationsTransformer:

Public Member Functions
RemoveRedundantRelationsTransformer *	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 remove relations which are redundant (do not contribute to output).

Definition at line 30 of file RemoveRedundantRelations.h.

Member Function Documentation

clone()

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

inlineoverridevirtual

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

Definition at line 40 of file RemoveRedundantRelations.h.

getName()

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

inlineoverridevirtual

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

Definition at line 36 of file RemoveRedundantRelations.h.

       :
    bool transform(TranslationUnit& translationUnit) override;
};

transform()

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

overrideprivatevirtual

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

Definition at line 28 of file RemoveRedundantRelations.cpp.

                                     {
        for (auto rel : redundantRelations) {
            removeRelation(translationUnit, rel->getQualifiedName());
            changed = true;
        }
    }
    return changed;
}
 
}  // namespace souffle::ast::transform

References rel(), and souffle::ast::removeRelation().

Here is the call graph for this function:

---

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

• ast/transform/RemoveRedundantRelations.h
• ast/transform/RemoveRedundantRelations.cpp