Recursive Relation Timing Profile Event Processor. More...

#include <EventProcessor.h>

Inheritance diagram for souffle::profile::RecursiveRelationTimingProcessor:

Collaboration diagram for souffle::profile::RecursiveRelationTimingProcessor:

Public Member Functions
void	process (ProfileDatabase &db, const std::vector< std::string > &signature, va_list &args) override
	process event input More...

	RecursiveRelationTimingProcessor ()

Public Member Functions inherited from souffle::profile::EventProcessor
virtual	~EventProcessor ()=default

Detailed Description

Recursive Relation Timing Profile Event Processor.

Definition at line 347 of file EventProcessor.h.

Constructor & Destructor Documentation

◆ RecursiveRelationTimingProcessor()

souffle::profile::RecursiveRelationTimingProcessor::RecursiveRelationTimingProcessor ( )

inline

Definition at line 349 of file EventProcessor.h.

                             {"program", "relation", relation, "iteration", iteration, "runtime"}, start, end);
         db.addSizeEntry(
                 {"program", "relation", relation, "iteration", iteration, "maxRSS", "pre"}, startMaxRSS);

References iteration, and relation.

Member Function Documentation

◆ process()

void souffle::profile::RecursiveRelationTimingProcessor::process	(	ProfileDatabase &	db,
		const std::vector< std::string > &	signature,
		va_list &	args
	)

inlineoverridevirtual

process event input

Reimplemented from souffle::profile::EventProcessor.

Definition at line 353 of file EventProcessor.h.

                 {"program", "relation", relation, "iteration", iteration, "maxRSS", "post"}, endMaxRSS);
         db.addSizeEntry({"program", "relation", relation, "iteration", iteration, "num-tuples"}, size);
     }
 } recursiveRelationTimingProcessor;
  
 /**
  * Recursive Relation Timing Profile Event Processor
  */
 const class RecursiveRelationNumberProcessor : public EventProcessor {
 public:
     RecursiveRelationNumberProcessor() {
         EventProcessorSingleton::instance().registerEventProcessor("@n-recursive-relation", this);
     }
     /** process event input */
     void process(ProfileDatabase& db, const std::vector<std::string>& signature, va_list& args) override {
         const std::string& relation = signature[1];
         const std::string& srcLocator = signature[2];