souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
26 class TranslationUnit;
30 class PrecedenceGraphAnalysis;
36 class RedundantRelationsAnalysis :
public Analysis {
38 static constexpr
const char*
name =
"redundant-relations";
42 void run(
const TranslationUnit& translationUnit)
override;
44 void print(std::ostream& os)
const override;
Analysis(std::string identifier)
PrecedenceGraphAnalysis * precedenceGraph
void run(const TranslationUnit &translationUnit) override
run analysis for a Ast translation unit
std::set< const Relation * > redundantRelations
static constexpr const char * name
RedundantRelationsAnalysis()
const std::set< const Relation * > & getRedundantRelations() const
Analysis pass computing the precedence graph of the relations of the datalog progam.
void print(std::ostream &os) const override
print the analysis result in HTML format