Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Public Attributes | List of all members
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: