Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Public Attributes | |
clingo_ast_term_t | atom |
clingo_ast_body_literal_t const * | body |
size_t | size |
clingo_ast_term_t | bias |
clingo_ast_term_t | priority |
clingo_ast_term_t | modifier |