souffle::ast2ram::ProvenanceClauseTranslator Class Reference

#include <ProvenanceClauseTranslator.h>

Inheritance diagram for souffle::ast2ram::ProvenanceClauseTranslator:

Collaboration diagram for souffle::ast2ram::ProvenanceClauseTranslator:

Public Member Functions
	ProvenanceClauseTranslator (AstToRamTranslator &translator)
Public Member Functions inherited from souffle::ast2ram::ClauseTranslator
	ClauseTranslator (AstToRamTranslator &translator)
Own< ram::Statement >	translateClause (const ast::Clause &clause, const ast::Clause &originalClause, const int version=0)
	generate RAM code for a clause More...

Protected Member Functions
Own< ram::Condition >	createCondition (const ast::Clause &originalClause) override
Own< ram::Operation >	createOperation (const ast::Clause &clause) override
Protected Member Functions inherited from souffle::ast2ram::ClauseTranslator
Own< ram::Operation >	filterByConstraints (size_t level, const std::vector< ast::Argument * > &args, Own< ram::Operation > op, bool constrainByFunctors=true)
	apply constraint filters to a given operation More...

Additional Inherited Members
Protected Attributes inherited from souffle::ast2ram::ClauseTranslator
int	level = 0
AstToRamTranslator &	translator
Own< ValueIndex >	valueIndex = mk<ValueIndex>()

Detailed Description

Definition at line 34 of file ProvenanceClauseTranslator.h.

Constructor & Destructor Documentation

ProvenanceClauseTranslator()

souffle::ast2ram::ProvenanceClauseTranslator::ProvenanceClauseTranslator ( AstToRamTranslator &  translator )

inline

Definition at line 36 of file ProvenanceClauseTranslator.h.

: ClauseTranslator(translator) {}

Member Function Documentation

createCondition()

Own< ram::Condition > souffle::ast2ram::ProvenanceClauseTranslator::createCondition ( const ast::Clause &  originalClause )

overrideprotectedvirtual

Reimplemented from souffle::ast2ram::ClauseTranslator.

Definition at line 37 of file ProvenanceClauseTranslator.cpp.

                         : clause.getBodyLiterals()) {

createOperation()

Own< ram::Operation > souffle::ast2ram::ProvenanceClauseTranslator::createOperation ( const ast::Clause &  clause )

overrideprotectedvirtual

Reimplemented from souffle::ast2ram::ClauseTranslator.

Definition at line 41 of file ProvenanceClauseTranslator.cpp.

                                  : atom->getArguments()) {
                values.push_back(translator.translateValue(arg, *valueIndex));
            }
        } else if (auto neg = dynamic_cast<ast::ProvenanceNegation*>(lit)) {
            size_t auxiliaryArity = translator.getEvaluationArity(neg->getAtom());
            for (size_t i = 0; i < neg->getAtom()->getArguments().size() - auxiliaryArity; ++i) {
                auto arg = neg->getAtom()->getArguments()[i];
                values.push_back(translator.translateValue(arg, *valueIndex));
            }
            for (size_t i = 0; i < auxiliaryArity; ++i) {
                values.push_back(mk<ram::SignedConstant>(-1));
            }
        } else if (auto neg = dynamic_cast<ast::Negation*>(lit)) {
            for (ast::Argument* arg : neg->getAtom()->getArguments()) {
                values.push_back(translator.translateValue(arg, *valueIndex));
            }
        } else if (auto con = dynamic_cast<ast::BinaryConstraint*>(lit)) {
            values.push_back(translator.translateValue(con->getLHS(), *valueIndex));
            values.push_back(translator.translateValue(con->getRHS(), *valueIndex));
        }
    }
 
    return mk<ram::SubroutineReturn>(std::move(values));
}
 
}  // namespace souffle::ast2ram

References souffle::ast2ram::AstToRamTranslator::translateValue(), souffle::ast2ram::ClauseTranslator::translator, and souffle::ast2ram::ClauseTranslator::valueIndex.

Here is the call graph for this function:

---

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

• ast2ram/ProvenanceClauseTranslator.h
• ast2ram/ProvenanceClauseTranslator.cpp