|
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 |
1.8.13