Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Loading...
Searching...
No Matches
Public Attributes
|
List of all members
clingo_weighted_literal Struct Reference
Basic Data Types and Functions
Detailed Description
A Literal with an associated weight.
Public Attributes
clingo_literal_t
literal
clingo_weight_t
weight
The documentation for this struct was generated from the following file:
clingo.h
Generated on Thu Apr 3 2025 15:37:59 for Clingo C API by
1.12.0