Struct used to specify the program parts that have to be grounded. More...

#include <control.h>

Public Attributes
char const *	name
	name of the program part

size_t	name_size
	the size of the name

clingo_symbol_t const *	params
	array of parameters

size_t	params_size
	number of parameters

Detailed Description

Struct used to specify the program parts that have to be grounded.

Programs may be structured into parts, which can be grounded independently with clingo_control_ground. Program parts are mainly interesting for incremental grounding and multi-shot solving. For single-shot solving, program parts are not needed.

Note: Parts of a logic program without an explicit #program specification are by default put into a program called base without arguments.

See also: clingo_control_ground()

Examples: control.c.

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

clingo/control.h

Public Attributes

Detailed Description