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 Building

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 Thu Aug 18 2016 13:19:53 for Clingo C API by   doxygen 1.8.11