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 Wed Oct 19 2016 09:14:55 for Clingo C API by   doxygen 1.8.11