clingo_profile_visitor Struct Reference

Visitor for profiling data. More...

#include <profile.h>

Public Attributes
bool(*	internal )(size_t depth, char const *key, size_t key_size, bool nested, void *data)
	Visit an internal node in the profile tree.
bool(*	leaf )(size_t depth, clingo_profile_data_t *values, clingo_profile_type_t type, void *data)
	Visit leaf nodes in the profile tree.

Detailed Description

Visitor for profiling data.

Member Data Documentation

internal

bool(* clingo_profile_visitor::internal) (size_t depth, char const *key, size_t key_size, bool nested, void *data)

Visit an internal node in the profile tree.

The key corresponds to the string representation of expressions in a logic program.

Parameters

[in]	key	the key of the node
[in]	key_size	the size of the key
[in]	depth	the depth of the node in the tree
[in]	nested	whether time values are included in parent nodes
[in]	data	the user data of the visitor

Returns

whether the call was successful

leaf

bool(* clingo_profile_visitor::leaf) (size_t depth, clingo_profile_data_t *values, clingo_profile_type_t type, void *data)

Visit leaf nodes in the profile tree.

The key corresponds to a fixed set of values.

Parameters

[in]	values	the values of the node
[in]	type	the type of the node
[in]	data	the user data of the visitor

Returns

whether the call was successful

---

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

• clingo/profile.h