clingo_part Struct Reference

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:

ast.c, backend.c, configuration.c, control.c, model.c, propagator.c, solve-async.c, solve-iteratively.c, statistics.c, symbolic-atoms.c, and theory-atoms.c.

Public Attributes
char const *	name
	name of the program part
clingo_symbol_t const *	params
	array of parameters
size_t	size
	number of parameters

---

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

• clingo.h