clingo_symbolic_literal Struct Reference

Detailed Description

Represents a symbolic literal.

Public Attributes
clingo_symbol_t	symbol
	the associated symbol (must be a function)
bool	positive
	whether the literal has a sign

---

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

• clingo.h