clingo_logger Struct Reference

The clingo logger. More...

#include <core.h>

Public Attributes
void(*	log )(clingo_message_t code, char const *message, size_t size, void *data)
	Callback to intercept messages.
void(*	free )(void *data)
	Free the logger.

Detailed Description

The clingo logger.

Member Data Documentation

free

void(* clingo_logger::free) (void *data)

Free the logger.

Parameters

[in]

data

user data for callback

See also

clingo_lib_new()

log

void(* clingo_logger::log) (clingo_message_t code, char const *message, size_t size, void *data)

Callback to intercept messages.

Parameters

[in]	code	associated code
[in]	message	the message
[in]	size	the size of the message
[in]	data	user data for callback

See also

clingo_lib_new()

---

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

• clingo/core.h