Profile the grounding process. More...

Classes
struct	clingo_profile_data
	Per node performance statistics gathered while grounding a logic program. More...

struct	clingo_profile_visitor
	Visitor for profiling data. More...

Typedefs
typedef int	clingo_profile_type_t
	Corresponding type to clingo_profile_type_e.

typedef struct clingo_profile_data	clingo_profile_data_t
	Per node performance statistics gathered while grounding a logic program.

typedef struct clingo_profile_visitor	clingo_profile_visitor_t
	Visitor for profiling data.

Enumerations
enum	clingo_profile_type_e { clingo_profile_type_step = 0 , clingo_profile_type_accu = 1 }
	Enumeration for entries of the stats. More...

Functions
CLINGO_VISIBILITY_DEFAULT bool	clingo_control_profile (clingo_control_t const control, clingo_profile_visitor_t const visit, void *data)
	Visit the profiling data of a control object.

Detailed Description

Profile the grounding process.

For an example, see profile.c.

Enumeration Type Documentation

Enumeration for entries of the stats.

Enumerator
clingo_profile_type_step	indicate per step values
clingo_profile_type_accu	indicate accumulated values

CLINGO_VISIBILITY_DEFAULT bool clingo_control_profile	(	clingo_control_t const *	control,
		clingo_profile_visitor_t const *	visit,
		void *	data
	)

Visit the profiling data of a control object.

Parameters

[in]	control	the target control object
[in]	visit	the visitor to call for each entry
[in]	data	user data for the visitor