Structs§
- Clingo
Error - An error originating from the clingo C library.
- Configuration
- A view into clingo’s configuration tree.
- Control
- Owns a
clingo_control_tand frees it on drop. - Fun
- A function symbol with a statically known arity.
- Interrupt
Handle - A thread-safe handle that can interrupt a running solve.
- Literal
- A signed ground atom.
- Model
- Model
Cache - An owned, thread-safe snapshot of the atoms in a model.
- Solve
Handle - A handle for iterating over models one at a time (yield mode).
- Solve
Result - The result of a solve call.
- Symbol
- A logic-program symbol.
Enums§
- Atom
- A ground atom, either a user-visible symbol or an auxiliary grounder atom.
- Clingo
Error Code - Error codes returned by the clingo C library.
- Error
- Wrapper enum so callers get one error type.
- External
Type - The type of an external atom declaration.
- Ground
Statement - A single statement in the ground program.
- Show
Type - Which symbols to include when querying a model.
- Sign
- The sign of a literal.
- Symbol
Type - The type of a clingo symbol.
- Symbol
Value - A symbol broken into its typed components.
- Truth
Value - Truth value for external atoms.
- Warning
- Warning codes from the clingo logger.