souffle::profile::Rule Class Reference

#include <Rule.h>

Collaboration diagram for souffle::profile::Rule:

Public Member Functions
void	addAtomFrequency (const std::string &subruleName, std::string atom, size_t level, size_t frequency)
const std::set< Atom > &	getAtoms () const
std::chrono::microseconds	getEndtime () const
std::string	getId () const
std::string	getLocator () const
std::string	getName () const
std::chrono::microseconds	getRuntime () const
std::chrono::microseconds	getStarttime () const
int	getVersion () const
bool	isRecursive () const
	Rule (std::string name, int version, std::string id)
	Rule (std::string name, std::string id)
void	setEndtime (std::chrono::microseconds time)
void	setId (std::string id)
void	setLocator (std::string locator)
void	setNumTuples (long numTuples)
void	setRecursive (bool recursive)
void	setStarttime (std::chrono::microseconds time)
void	setVersion (int version)
long	size ()
std::string	toString () const

Protected Attributes
std::set< Atom >	atoms
std::chrono::microseconds	endtime {}
std::string	identifier
std::string	locator {}
const std::string	name
long	numTuples {0}
std::chrono::microseconds	starttime {}

Private Attributes
bool	recursive = false
int	version = 0

Detailed Description

Definition at line 47 of file Rule.h.

Constructor & Destructor Documentation

Rule() [1/2]

souffle::profile::Rule::Rule ( std::string  name, std::string  id  )

inline

Definition at line 62 of file Rule.h.

: name(std::move(name)), identifier(std::move(id)) {}

Rule() [2/2]

souffle::profile::Rule::Rule ( std::string  name, int  version, std::string  id  )

inline

Definition at line 64 of file Rule.h.

            : name(std::move(name)), identifier(std::move(id)), recursive(true), version(version) {}

Member Function Documentation

addAtomFrequency()

void souffle::profile::Rule::addAtomFrequency ( const std::string &  subruleName, std::string  atom, size_t  level, size_t  frequency  )

inline

Definition at line 99 of file Rule.h.

                                                                                                        {
        atoms.emplace(atom, subruleName, level, frequency);
    }

References atoms.

getAtoms()

const std::set<Atom>& souffle::profile::Rule::getAtoms ( ) const

inline

Definition at line 103 of file Rule.h.

                                         {
        return atoms;
    }

References atoms.

getEndtime()

std::chrono::microseconds souffle::profile::Rule::getEndtime ( ) const

inline

Definition at line 79 of file Rule.h.

                                             {
        return endtime;
    }

References endtime.

getId()

std::string souffle::profile::Rule::getId ( ) const

inline

Definition at line 67 of file Rule.h.

                            {
        return identifier;
    }

References identifier.

getLocator()

std::string souffle::profile::Rule::getLocator ( ) const

inline

Definition at line 114 of file Rule.h.

                                 {
        return locator;
    }

References locator.

getName()

std::string souffle::profile::Rule::getName ( ) const

inline

Definition at line 106 of file Rule.h.

                              {
        return name;
    }

References name.

getRuntime()

std::chrono::microseconds souffle::profile::Rule::getRuntime ( ) const

inline

Definition at line 71 of file Rule.h.

                                             {
        return endtime - starttime;
    }

References endtime, and starttime.

Referenced by toString().

getStarttime()

std::chrono::microseconds souffle::profile::Rule::getStarttime ( ) const

inline

Definition at line 75 of file Rule.h.

                                               {
        return starttime;
    }

References starttime.

getVersion()

int souffle::profile::Rule::getVersion ( ) const

inline

Definition at line 130 of file Rule.h.

                           {
        return version;
    }

References version.

isRecursive()

bool souffle::profile::Rule::isRecursive ( ) const

inline

Definition at line 122 of file Rule.h.

                             {
        return recursive;
    }

References recursive.

setEndtime()

void souffle::profile::Rule::setEndtime ( std::chrono::microseconds  time )

inline

Definition at line 91 of file Rule.h.

                                                {
        endtime = time;
    }

References endtime, and souffle::test::time().

Here is the call graph for this function:

setId()

void souffle::profile::Rule::setId ( std::string  id )

inline

Definition at line 110 of file Rule.h.

                             {
        identifier = id;
    }

References id(), and identifier.

Here is the call graph for this function:

setLocator()

void souffle::profile::Rule::setLocator ( std::string  locator )

inline

Definition at line 118 of file Rule.h.

                                       {
        this->locator = locator;
    }

References locator.

setNumTuples()

void souffle::profile::Rule::setNumTuples ( long  numTuples )

inline

Definition at line 95 of file Rule.h.

                                      {
        this->numTuples = numTuples;
    }

References numTuples.

setRecursive()

void souffle::profile::Rule::setRecursive ( bool  recursive )

inline

Definition at line 126 of file Rule.h.

                                      {
        this->recursive = recursive;
    }

References recursive.

setStarttime()

void souffle::profile::Rule::setStarttime ( std::chrono::microseconds  time )

inline

Definition at line 87 of file Rule.h.

                                                  {
        starttime = time;
    }

References starttime, and souffle::test::time().

Here is the call graph for this function:

setVersion()

void souffle::profile::Rule::setVersion ( int  version )

inline

Definition at line 134 of file Rule.h.

                                 {
        this->version = version;
    }

References version.

size()

long souffle::profile::Rule::size ( )

inline

Definition at line 83 of file Rule.h.

                {
        return numTuples;
    }

References numTuples.

toString()

std::string souffle::profile::Rule::toString ( ) const

inline

Definition at line 138 of file Rule.h.

                               {
        std::ostringstream output;
        if (recursive) {
            output << "{" << name << "," << version << ":";
        } else {
            output << "{" << name << ":";
        }
        output << "[" << getRuntime().count() << "," << numTuples << "]}";
        return output.str();
    }

References getRuntime(), name, numTuples, recursive, and version.

Here is the call graph for this function:

Field Documentation

atoms

std::set<Atom> souffle::profile::Rule::atoms

protected

Definition at line 55 of file Rule.h.

Referenced by addAtomFrequency(), and getAtoms().

endtime

std::chrono::microseconds souffle::profile::Rule::endtime {}

protected

Definition at line 51 of file Rule.h.

Referenced by getEndtime(), getRuntime(), and setEndtime().

identifier

std::string souffle::profile::Rule::identifier

protected

Definition at line 53 of file Rule.h.

Referenced by getId(), and setId().

locator

std::string souffle::profile::Rule::locator {}

protected

Definition at line 54 of file Rule.h.

Referenced by getLocator(), and setLocator().

name

const std::string souffle::profile::Rule::name

protected

Definition at line 49 of file Rule.h.

Referenced by getName(), and toString().

numTuples

long souffle::profile::Rule::numTuples {0}

protected

Definition at line 52 of file Rule.h.

Referenced by setNumTuples(), size(), and toString().

recursive

bool souffle::profile::Rule::recursive = false

private

Definition at line 58 of file Rule.h.

Referenced by isRecursive(), setRecursive(), and toString().

starttime

std::chrono::microseconds souffle::profile::Rule::starttime {}

protected

Definition at line 50 of file Rule.h.

Referenced by getRuntime(), getStarttime(), and setStarttime().

version

int souffle::profile::Rule::version = 0

private

Definition at line 59 of file Rule.h.

Referenced by getVersion(), setVersion(), and toString().

---

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

• include/souffle/profile/Rule.h