souffle::ast::transform::NameUnnamedVariablesTransformer Class Reference

Transformation pass to replace unnamed variables with singletons. More...

#include <NameUnnamedVariables.h>

Inheritance diagram for souffle::ast::transform::NameUnnamedVariablesTransformer:

Collaboration diagram for souffle::ast::transform::NameUnnamedVariablesTransformer:

Public Member Functions
NameUnnamedVariablesTransformer *	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 replace unnamed variables with singletons.

E.g.: a() :- b(_). -> a() :- b(x).

Definition at line 40 of file NameUnnamedVariables.h.

Member Function Documentation

clone()

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

inlineoverridevirtual

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

Definition at line 54 of file NameUnnamedVariables.h.

getName()

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

inlineoverridevirtual

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

Definition at line 50 of file NameUnnamedVariables.h.

transform()

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

overrideprivatevirtual

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

Definition at line 36 of file NameUnnamedVariables.cpp.

                         : public NodeMapper {
        mutable bool changed = false;
        nameVariables() = default;
 
        Own<Node> operator()(Own<Node> node) const override {
            if (isA<UnnamedVariable>(node.get())) {
                changed = true;
                std::stringstream name;
                name << boundPrefix << "_" << underscoreCount++;
                return mk<ast::Variable>(name.str());
            }
            node->apply(*this);
            return node;
        }
    };
 
    Program& program = translationUnit.getProgram();
    for (Relation* rel : program.getRelations()) {
        for (Clause* clause : getClauses(program, *rel)) {
            nameVariables update;
            clause->apply(update);
            changed |= update.changed;
        }
    }
 
    return changed;
}
 
}  // namespace souffle::ast::transform

---

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

• ast/transform/NameUnnamedVariables.h
• ast/transform/NameUnnamedVariables.cpp