Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
 Cclingo_ast_aggregate
 Cclingo_ast_aggregate_guard
 Cclingo_ast_binary_operation
 Cclingo_ast_body_aggregate
 Cclingo_ast_body_aggregate_element
 Cclingo_ast_body_literal
 Cclingo_ast_comparison
 Cclingo_ast_conditional_literal
 Cclingo_ast_csp_guard
 Cclingo_ast_csp_literal
 Cclingo_ast_csp_product_term
 Cclingo_ast_csp_sum_term
 Cclingo_ast_definition
 Cclingo_ast_disjoint
 Cclingo_ast_disjoint_element
 Cclingo_ast_disjunction
 Cclingo_ast_edge
 Cclingo_ast_external
 Cclingo_ast_function
 Cclingo_ast_head_aggregate
 Cclingo_ast_head_aggregate_element
 Cclingo_ast_head_literal
 Cclingo_ast_heuristic
 Cclingo_ast_id
 Cclingo_ast_interval
 Cclingo_ast_literal
 Cclingo_ast_minimize
 Cclingo_ast_pool
 Cclingo_ast_program
 Cclingo_ast_project
 Cclingo_ast_rule
 Cclingo_ast_script
 Cclingo_ast_show_signature
 Cclingo_ast_show_term
 Cclingo_ast_statement
 Cclingo_ast_term
 Cclingo_ast_theory_atom
 Cclingo_ast_theory_atom_definition
 Cclingo_ast_theory_atom_element
 Cclingo_ast_theory_definition
 Cclingo_ast_theory_function
 Cclingo_ast_theory_guard
 Cclingo_ast_theory_guard_definition
 Cclingo_ast_theory_operator_definition
 Cclingo_ast_theory_term
 Cclingo_ast_theory_term_array
 Cclingo_ast_theory_term_definition
 Cclingo_ast_theory_unparsed_term
 Cclingo_ast_theory_unparsed_term_element
 Cclingo_ast_unary_operation
 Cclingo_locationRepresents a source code location marking its beginnig and end
 Cclingo_partStruct used to specify the program parts that have to be grounded
 Cclingo_propagatorAn instance of this struct has to be registered with a solver to implement a custom propagator
 Cclingo_symbolic_literalRepresents a symbolic literal
 Cclingo_weighted_literalA Literal with an associated weight