Class to hold profiling data for an expression in a logic program. More...

#include <control.hh>

Public Member Functions
	ProfileNodeLeaf (ProfileType type, uint64_t matches=0, uint64_t instances=0, uint64_t time_instantiate=0, uint64_t time_propagate=0)
	Constructs a profile leaf node with the given type and profiling data.

Public Attributes
ProfileType	type
	The type of the profiling data.

uint64_t	matches
	The number of matches for the expression.

uint64_t	instances
	The number of instances of the expression.

uint64_t	time_instantiate
	The time spent instantiating the expression.

uint64_t	time_propagate
	The time spent propagating the expression.

Detailed Description

Class to hold profiling data for an expression in a logic program.

Constructor & Destructor Documentation

Clingo::ProfileNodeLeaf::ProfileNodeLeaf	(	ProfileType	type,
		uint64_t	matches = `0`,
		uint64_t	instances = `0`,
		uint64_t	time_instantiate = `0`,
		uint64_t	time_propagate = `0`
	)

inline

Constructs a profile leaf node with the given type and profiling data.

Parameters

type	the type of the profiling data
matches	the number of matches for the expression
instances	the number of instances of the expression
time_instantiate	the time spent instantiating the expression
time_propagate	the time spent propagating the expression

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