clingo_weighted_literal Struct Reference

A literal with an associated weight. More...

#include <core.h>

Public Attributes
clingo_literal_t	literal
	the literal
clingo_weight_t	weight
	the weight

Detailed Description

A literal with an associated weight.

---

The documentation for this struct was generated from the following file:

• clingo/core.h