CppClingo::Ground::ProfileData Class Reference

This profile node holds the profiling data for a single step and accumulated data. More...

#include <profile.hh>

Inheritance diagram for CppClingo::Ground::ProfileData:

Public Member Functions
	ProfileData ()=default
	Construct the profile data.
Public Member Functions inherited from CppClingo::Ground::ProfileNode
	ProfileNode ()=default
	The default constructor.
	ProfileNode (ProfileNode const &other)=delete
	Delete the copy constructor.
auto	operator= (ProfileNode const &other) -> ProfileNode &=delete
	Delete assignment operator.
virtual	~ProfileNode ()=default
	Destructor.
void	print (std::ostream &out, ProfileIndent indent, ProfileDetail detail, ProfileType type) const
	Print the profiling data to the given output stream.
auto	equal (ProfileNode const &node) const -> bool
	Compare this profile node with another for equality.
virtual auto	score (ProfileType type) const -> double
	Get a score for sorting profile nodes.
virtual void	begin_step ()
	Reset the per step statistics.
virtual void	end_step ()
	Accumulate the per step stats into the accumulated stats.
virtual void	combine (ProfileStats &stats, ProfileType type, bool nested) const
	Combine stats below this node.
void	accept (Visitor const &visit, size_t depth) const
	Visit the profile node with the given visitor function.

Friends
class	Instantiator

Additional Inherited Members
Public Types inherited from CppClingo::Ground::ProfileNode
using	Visitor = std::function< void(std::variant< std::pair< std::string_view, bool >, std::pair< ProfileStats const *, ProfileType > >, size_t)>
	The type of visitor function to use for visiting profile nodes.

Detailed Description

This profile node holds the profiling data for a single step and accumulated data.

---

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

• clingo/ground/profile.hh