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_ground_program_observer	An instance of this struct has to be registered with a solver to observe ground directives as they are passed to the solver
Cclingo_location	Represents a source code location marking its beginnig and end
Cclingo_part	Struct used to specify the program parts that have to be grounded
Cclingo_propagator	An instance of this struct has to be registered with a solver to implement a custom propagator
Cclingo_symbolic_literal	Represents a symbolic literal
Cclingo_weighted_literal	A Literal with an associated weight