Topics

Here is a list of all topics with brief descriptions:

[detail level 1234]

▼C API	API providing a stable interface for applications using Clingo
Core Functionality	Core types and functions used throughout all modules and version information
Symbol Handling	Working with (evaluated) ground terms and related functions
Abstract Syntax Trees	Functions and data structures to work with program ASTs
▼Grounding and Solving	Functions to control the grounding and solving process
Symbolic Atom Inspection	Inspection of atoms occurring in ground logic programs
Basic Shared Types	Enumerations shared by various modules
Ground Program Inspection	Functions and data structures to inspect ground programs
Ground Program Extension	Add non-ground program representations (ASTs) to logic programs or extend the ground (aspif) program
Grounding	Interact with a running ground call
Model Inspection	Inspection of models and a high-level interface to add constraints during solving
Solving	Interact with a running search
Solver Configuration	Configuration of search and enumeration algorithms
Statistics	Inspect search and problem stats
Theory Propagation	Extend the search with propagators for arbitrary theories
Profile Grounding	Profile the grounding process
Scripting Support for Grounding	Support for calling external functions during grounding and customizing the main solving loop
Applications on top of Clingo	Support for building applications on top of clingo
External Theory Support	This module defines a well-specified C interface that must be implemented by external theory plugins
▼C++ API	API providing a stable interface for applications using Clingo
Core Functionality	Core types and functions used throughout all modules and version information
Symbol Handling	Working with (evaluated) ground terms and related functions
Abstract Syntax Trees	Functions and data structures to work with program ASTs
▼Grounding and Solving	Functions to control the grounding and solving process
Atom, Term, and Theory Base Inspection	Inspection of atoms occurring in ground logic programs
Ground Program Inspection	Functions and data structures to inspect ground programs
Ground Program Extension	Extend the logic program with ground statements (in aspif-like format)
Grounding	Grounding logic programs
Profile Grounding	Functions to profile the grounding process
Solving	Intercept models and interact with a running search
Solver Configuration	Configuration of search and enumeration algorithms
Statistics	Inspect search and problem stats
Theory Propagation	Extend the search with propagators for arbitrary theories
Scripting Support for Grounding	Support for external functions solving customizations
Applications on top of Clingo	Support for building applications on top of clingo
External Theory Support	This module defines a well-specified C interface that must be implemented by external theory plugins
▼Internal C++ API	This is the internal Clingo API, use at your own risk
▼Utility	Library for utility functionality
Type Traits	Type traits used throughout the library
Math Functions	Additional (checked) math functions
Generic Algorithms	Generic algorithms used throughout the library
Hash Functions	Generic functions for equality comparison and hash computation
Printing	Generic functions for printing
Helpers for enumurations	Currently, just provides a macro to create bitsets
Optional Values	Data structures and algorithms around optional values
Immutable Values	Immutable values and arrays with reference counting
Generic Containers	Generic containers used throughout the library
Records	Helpers to declare records with keyword arguments
Debugging Functions	Helper functions for debugging
▼Core	Library for core functionality
Numbers	Data structures and functions to represent arbitrary precision integers
Symbols	Data structures and functions to represent symbols
Source Locations	Data structures and functions to track source locations
Logging	Functions and classes for logging
Output	Interfaces to output logic programs
▼Input	Library for representing and rewriting logic programs
▼Language	Data structures and functions to capture the clingo language
Terms	Data structures and functions to represent terms
Literals	Data structures and functions to represent simple literals
Theory Terms and Atoms	Data structures and functions to represent theory terms and atoms
Aggregates	Common data structures and functions for head and body aggregates
Head Literals	Data structures and functions to represent head literals
Body Literals	Data structures and functions to represent body literals
Statements	Data structures and functions to represent statements
Programs	Data structures and functions to represent and rewrite programs
▼Algorithms	Algorithms for the input language
Visit Variables	Functions to visit variables in expressions
Analyze	Functions to analyze expressions
Print	Functions to output expressions
Parse	Functions to parse the input language
Check	Additional syntax checks
Evaluate	Functions to evaluate expressions
Rewrite	Functions to rewrite expressions
▼Grounding	Library for grounding statements
Scripts	Interfaces to run scripts
Atom Bases	Data structures and functions to represent bases for atoms, aggregate atoms, and similar
Matchers	Data structures and functions to match symbols and expressions
Instantiators	Data structures and functions to compute joins
▼Language	Data structures and functions to represent groundable expressions
Terms	Data structures and functions to ground terms
Literals	Data structures and functions to ground literals
Head Conditional Literals	Data structures and functions to ground head conditional literals
Body Conditional Literals	Data structures and functions to ground body conditional literals
Head Aggregates	Data structures and functions to ground head aggregates
Body Aggregates	Data structures and functions to ground body aggregates
Assignment Aggregates	Data structures and functions to ground assignment aggregates
Theory Atoms	Data structures and functions to ground theory atoms
Statements	Data structures and functions to ground statements
Output	Library for outputting grounded statements
Control	Library combining input, ground, and output