Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Public Attributes | |
clingo_location_t | location |
clingo_ast_term_type_t | type |
union { | |
clingo_symbol_t symbol | |
char const * variable | |
clingo_ast_unary_operation_t const * unary_operation | |
clingo_ast_binary_operation_t const * binary_operation | |
clingo_ast_interval_t const * interval | |
clingo_ast_function_t const * function | |
clingo_ast_function_t const * external_function | |
clingo_ast_pool_t const * pool | |
}; | |