The profiling data. More...

#include <profile.hh>

Public Member Functions
	ProfileStats ()=default
	The default constructor.

void	reset ()
	Reset the profiling data to zero.

void	accumulate (ProfileStats const &stats, bool nested=false)
	Accumulate the given step stats into this stats object.

void	print (std::ostream &out, ProfileIndent indent) const
	Print the profiling data to the given output stream.

auto	score () const -> double
	Compute a score for sorting profile nodes based on time.

Public Attributes
uint64_t	matches = 0
	The number of matches produced by the instantiator.

uint64_t	instances = 0
	The number of instances produced by the instantiator.

uint64_t	time_instantiate = 0
	The time in nanoseconds spent instantiating.

uint64_t	time_propagate = 0
	The time in nanoseconds spent propagating.

Detailed Description

The profiling data.

Member Function Documentation

void CppClingo::Ground::ProfileStats::accumulate	(	ProfileStats const &	stats,
		bool	nested = `false`
	)

inline

Accumulate the given step stats into this stats object.

For nested stats, timing information is not accumulated because it is assumed that the parent already contains the timing information.

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