souffle::ast::analysis::ClauseNormalisationAnalysis Class Reference

#include <ClauseNormalisation.h>

Inheritance diagram for souffle::ast::analysis::ClauseNormalisationAnalysis:

Collaboration diagram for souffle::ast::analysis::ClauseNormalisationAnalysis:

Public Member Functions
	ClauseNormalisationAnalysis ()
const NormalisedClause &	getNormalisation (const Clause *clause) const
void	print (std::ostream &os) const override
	print the analysis result in HTML format More...
void	run (const TranslationUnit &translationUnit) override
	run analysis for a Ast translation unit More...
Public Member Functions inherited from souffle::ast::analysis::Analysis
	Analysis (std::string identifier)
virtual const std::string &	getName () const
	get name of the analysis More...
virtual	~Analysis ()=default

Static Public Attributes
static constexpr const char *	name = "clause-normalisation"

Private Attributes
std::map< const Clause *, NormalisedClause >	normalisations

Additional Inherited Members
Protected Attributes inherited from souffle::ast::analysis::Analysis
const std::string	identifier

Detailed Description

Definition at line 96 of file ClauseNormalisation.h.

Constructor & Destructor Documentation

ClauseNormalisationAnalysis()

souffle::ast::analysis::ClauseNormalisationAnalysis::ClauseNormalisationAnalysis ( )

inline

Definition at line 100 of file ClauseNormalisation.h.

:
    std::map<const Clause*, NormalisedClause> normalisations;

Member Function Documentation

getNormalisation()

const NormalisedClause & souffle::ast::analysis::ClauseNormalisationAnalysis::getNormalisation

(

const Clause *

clause

)

const

Definition at line 188 of file ClauseNormalisation.cpp.

print()

void souffle::ast::analysis::ClauseNormalisationAnalysis::print ( std::ostream &  ) const

overridevirtual

print the analysis result in HTML format

Reimplemented from souffle::ast::analysis::Analysis.

Definition at line 174 of file ClauseNormalisation.cpp.

                                  :" << els[i].params;
        }
        os << "}" << std::endl;
    }
}
 
const NormalisedClause& ClauseNormalisationAnalysis::getNormalisation(const Clause* clause) const {
    assert(contains(normalisations, clause) && "clause not normalised");
    return normalisations.at(clause);
}
 

run()

void souffle::ast::analysis::ClauseNormalisationAnalysis::run ( const TranslationUnit &  )

overridevirtual

run analysis for a Ast translation unit

Implements souffle::ast::analysis::Analysis.

Definition at line 166 of file ClauseNormalisation.cpp.

                                                            {
    for (const auto& [clause, norm] : normalisations) {
        os << "Normalise(" << *clause << ") = {";
        const auto& els = norm.getElements();
        for (size_t i = 0; i < els.size(); i++) {

Field Documentation

name

constexpr const char* souffle::ast::analysis::ClauseNormalisationAnalysis::name = "clause-normalisation"

staticconstexpr

Definition at line 98 of file ClauseNormalisation.h.

normalisations

std::map<const Clause*, NormalisedClause> souffle::ast::analysis::ClauseNormalisationAnalysis::normalisations

private

Definition at line 109 of file ClauseNormalisation.h.

---

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

• ast/analysis/ClauseNormalisation.h
• ast/analysis/ClauseNormalisation.cpp