Detailed Description

Custom scripting language to run functions during grounding.

Public Attributes
bool(*	execute )(clingo_location_t const location, char const code, void *data)
	Evaluate the given source code. More...

bool(*	call )(clingo_location_t const location, char const name, clingo_symbol_t const arguments, size_t arguments_size, clingo_symbol_callback_t symbol_callback, void symbol_callback_data, void *data)
	Call the function with the given name and arguments. More...

bool(*	callable )(char const name, bool result, void *data)
	Check if the given function is callable. More...

bool(*	main )(clingo_control_t control, void data)
	Run the main function. More...

void(*	free )(void *data)
	This function is called once when the script is deleted. More...

const char *	version

Member Data Documentation

bool(* clingo_script::call) (clingo_location_t const *location, char const *name, clingo_symbol_t const *arguments, size_t arguments_size, clingo_symbol_callback_t symbol_callback, void *symbol_callback_data, void *data)

Call the function with the given name and arguments.

Parameters

[in]	location	the location in the logic program of the function call
[in]	name	the name of the function
[in]	arguments	the arguments to the function
[in]	arguments_size	the number of arguments
[in]	symbol_callback	callback to return a pool of symbols
[in]	symbol_callback_data	user data for the symbol callback
[in]	data	user data as given when registering the script

bool(* clingo_script::callable) (char const *name, bool *result, void *data)

Check if the given function is callable.

Parameters

[in]	name	the name of the function
[out]	result	whether the function is callable
[in]	data	user data as given when registering the script

bool(* clingo_script::execute) (clingo_location_t const *location, char const *code, void *data)

Evaluate the given source code.

Parameters

[in]	location	the location in the logic program of the source code
[in]	code	the code to evaluate
[in]	data	user data as given when registering the script

void(* clingo_script::free) (void *data)

This function is called once when the script is deleted.

Parameters

[in] data user data as given when registering the script

bool(* clingo_script::main) (clingo_control_t *control, void *data)

Run the main function.

Parameters

[in]	control	the control object to pass to the main function
[in]	data	user data as given when registering the script

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