Functions to profile the grounding process. More...

Classes
struct	Clingo::ProfileNodeLeaf
	Class to hold profiling data for an expression in a logic program. More...

struct	Clingo::ProfileNodeInternal
	Class to hold profiling data for an expression in a logic program. More...

Typedefs
using	Clingo::ProfileNode = std::variant< ProfileNodeInternal, ProfileNodeLeaf >
	A profile node that can be either an internal node or a leaf node.

Enumerations
enum class	Clingo::ProfileType : clingo_profile_type_t { ProfileType::step = clingo_profile_type_step , ProfileType::accu = clingo_profile_type_accu }
	Enumeration of the types of profiling data. More...

Detailed Description

Functions to profile the grounding process.

Enumeration Type Documentation

strong

Enumeration of the types of profiling data.

Enumerator
step	Indicate per step profiling data.
accu	Indicate accumulated profiling data.