Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Public Attributes | List of all members
clingo_weighted_literal Struct Reference
Grounding and Solving » Program BuildingGrounding and Solving » | Program Inspection

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:
Generated on Mon Aug 26 2019 12:10:53 for Clingo C API by   doxygen 1.8.13