|
souffle
2.0.2-371-g6315b36
|
Analysis that loads profile data and has a profile query interface. More...
#include <ProfileUse.h>


Public Member Functions | |
| size_t | getRelationSize (const QualifiedName &rel) const |
| Return size of relation in the profile. More... | |
| bool | hasRelationSize (const QualifiedName &rel) const |
| Check whether the relation size exists in profile. More... | |
| void | print (std::ostream &os) const override |
| Output some profile information. More... | |
| ProfileUseAnalysis () | |
| void | run (const TranslationUnit &translationUnit) override |
| Run analysis. 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 = "profile-use" |
| Name of analysis. More... | |
Private Attributes | |
| std::shared_ptr< profile::ProgramRun > | programRun |
| performance model of profile run More... | |
Additional Inherited Members | |
Protected Attributes inherited from souffle::ast::analysis::Analysis | |
| const std::string | identifier |
Analysis that loads profile data and has a profile query interface.
Definition at line 43 of file ProfileUse.h.
|
inline |
Definition at line 48 of file ProfileUse.h.
| size_t souffle::ast::analysis::ProfileUseAnalysis::getRelationSize | ( | const QualifiedName & | rel | ) | const |
Return size of relation in the profile.
Get relation size from profile.
Definition at line 61 of file ProfileUse.cpp.
Referenced by souffle::ast::ProfileUseSips::evaluateCosts().
| bool souffle::ast::analysis::ProfileUseAnalysis::hasRelationSize | ( | const QualifiedName & | rel | ) | const |
Check whether the relation size exists in profile.
Check whether relation size is defined in profile.
Definition at line 54 of file ProfileUse.cpp.
References programRun, and rel().

|
overridevirtual |
Output some profile information.
Print analysis.
Reimplemented from souffle::ast::analysis::Analysis.
Definition at line 49 of file ProfileUse.cpp.
|
overridevirtual |
Run analysis.
Run analysis, i.e., retrieve profile information.
Implements souffle::ast::analysis::Analysis.
Definition at line 39 of file ProfileUse.cpp.
|
staticconstexpr |
Name of analysis.
Definition at line 46 of file ProfileUse.h.
|
private |
performance model of profile run
Definition at line 65 of file ProfileUse.h.
Referenced by hasRelationSize().
1.8.17