souffle::ram::transform::EliminateDuplicatesTransformer Class Reference

Eliminates duplicated conjunctive terms. More...

#include <EliminateDuplicates.h>

Inheritance diagram for souffle::ram::transform::EliminateDuplicatesTransformer:

Collaboration diagram for souffle::ram::transform::EliminateDuplicatesTransformer:

Public Member Functions
bool	eliminateDuplicates (Program &program)
	Eliminate duplicated conjunctive terms. More...
std::string	getName () const override
	@Brief get name of the transformer 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

Eliminates duplicated conjunctive terms.

For example ..

QUERY
 ...
  IF C1 /\ C2 /\ ... /\  CN
    ...

will be rewritten to

QUERY
 ...
  IF C2 /\ ... /\ CN then
   ...

assuming that C1 and C2 are equal.

Definition at line 53 of file EliminateDuplicates.h.

Member Function Documentation

eliminateDuplicates()

bool souffle::ram::transform::EliminateDuplicatesTransformer::eliminateDuplicates

(

Program &

program

)

Eliminate duplicated conjunctive terms.

Parameters

program

Program that is transformed

Returns

Flag showing whether the program has been changed by the transformation

Definition at line 35 of file EliminateDuplicates.cpp.

                                                                          {
                const Condition* condition = &filter->getCondition();
                VecOwn<Condition> conds = toConjunctionList(condition);
                bool eliminatedDuplicate = false;
                for (std::size_t i = 0; i < conds.size(); i++) {
                    for (std::size_t j = i + 1; j < conds.size(); j++) {
                        if (*conds[i] == *conds[j]) {
                            conds.erase(conds.begin() + j);
                            i = -1;
                            eliminatedDuplicate = true;
                            break;
                        }
                    }
                }
                if (eliminatedDuplicate) {
                    changed = true;
                    node = mk<Filter>(
                            Own<Condition>(toCondition(conds)), souffle::clone(&filter->getOperation()));
                }
            }
            node->apply(makeLambdaRamMapper(filterRewriter));
            return node;
        };
        const_cast<Query*>(&query)->apply(makeLambdaRamMapper(filterRewriter));
    });
    return changed;
}
 
}  // namespace souffle::ram::transform

References souffle::clone(), souffle::filter(), i, j, souffle::ram::toCondition(), and souffle::ram::toConjunctionList().

Here is the call graph for this function:

getName()

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

inlineoverridevirtual

@Brief get name of the transformer

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

Definition at line 55 of file EliminateDuplicates.h.

         :
    bool transform(TranslationUnit& translationUnit) override {

transform()

bool souffle::ram::transform::EliminateDuplicatesTransformer::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 67 of file EliminateDuplicates.h.

---

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

• ram/transform/EliminateDuplicates.h
• ram/transform/EliminateDuplicates.cpp