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

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: