Grounding logic programs. More...

Classes
struct	Clingo::Part
	A program part to provide inputs to program directives. More...

class	Clingo::GroundEventHandler
	An interface for handling grounding events. More...

class	Clingo::GroundHandle
	Class to control a running ground call. More...

Typedefs
using	Clingo::PartSpan = std::span< Part const >
	A span of program parts.

using	Clingo::PartList = std::initializer_list< Part >
	An initializer list of program parts.

using	Clingo::PartVector = std::vector< Part >
	A vector of program parts.

Enumerations
enum class	Clingo::GroundResult : clingo_ground_result_t { GroundResult::ok = clingo_ground_result_ok , GroundResult::unsatisfiable = clingo_ground_result_unsatisfiable , GroundResult::interrupted = clingo_ground_result_interrupted }
	Enumeration of the results of a grounding process. More...

Detailed Description

Grounding logic programs.

Enumeration Type Documentation

strong

Enumeration of the results of a grounding process.

Enumerator
ok	Grounding completed successfully.
unsatisfiable	An inconsistency was detected during grounding.
interrupted	Grounding was interrupted.