#include <Rule.h>

Collaboration diagram for souffle::profile::Atom:

Public Member Functions
	Atom (std::string identifier, std::string rule, size_t level, size_t frequency)

bool	operator< (const Atom &other) const

Data Fields
const size_t	frequency

const std::string	identifier

const size_t	level

const std::string	rule

Detailed Description

Definition at line 24 of file Rule.h.

Constructor & Destructor Documentation

◆ Atom()

souffle::profile::Atom::Atom	(	std::string	identifier,
		std::string	rule,
		size_t	level,
		size_t	frequency
	)

inline

Definition at line 31 of file Rule.h.

32 : identifier(std::move(identifier)), rule(std::move(rule)), level(level), frequency(frequency) {}

Member Function Documentation

◆ operator<()

bool souffle::profile::Atom::operator< ( const Atom & other ) const

inline

Definition at line 34 of file Rule.h.

                                             {
         if (rule != other.rule) {
             return rule < other.rule;
         } else if (level != other.level) {
             return level < other.level;
         }
         return identifier < other.identifier;
     }

References identifier, level, and rule.

Field Documentation

◆ frequency

const size_t souffle::profile::Atom::frequency

Definition at line 29 of file Rule.h.

◆ identifier

const std::string souffle::profile::Atom::identifier

Definition at line 26 of file Rule.h.

Referenced by souffle::profile::Reader::extractRelationNameFromAtom(), and operator<().

◆ level

const size_t souffle::profile::Atom::level

Definition at line 28 of file Rule.h.

Referenced by operator<().

◆ rule

const std::string souffle::profile::Atom::rule

Definition at line 27 of file Rule.h.