Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Public Attributes | List of all members
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: