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
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:
Generated on Tue Apr 20 2021 20:56:09 for Clingo C API by   doxygen 1.8.13