clingo_profile_data Struct Reference

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

#include <profile.h>

Public Attributes
uint64_t	matches
	The number of matches produced by the instantiator.
uint64_t	instances
	The number of instances produced by the instantiator.
uint64_t	time_instantiate
	The time in nanoseconds spent instantiating.
uint64_t	time_propagate
	The time in nanoseconds spent propagating.

Detailed Description

Per node performance statistics gathered while grounding a logic program.

---

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

• clingo/profile.h