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:

• clingo.h