Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Main Page
Modules
Classes
Files
Examples
Class List
Class Index
Class Members
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
C
clingo_ast_aggregate
C
clingo_ast_aggregate_guard
C
clingo_ast_binary_operation
C
clingo_ast_body_aggregate
C
clingo_ast_body_aggregate_element
C
clingo_ast_body_literal
C
clingo_ast_comparison
C
clingo_ast_conditional_literal
C
clingo_ast_csp_guard
C
clingo_ast_csp_literal
C
clingo_ast_csp_product_term
C
clingo_ast_csp_sum_term
C
clingo_ast_definition
C
clingo_ast_disjoint
C
clingo_ast_disjoint_element
C
clingo_ast_disjunction
C
clingo_ast_edge
C
clingo_ast_external
C
clingo_ast_function
C
clingo_ast_head_aggregate
C
clingo_ast_head_aggregate_element
C
clingo_ast_head_literal
C
clingo_ast_heuristic
C
clingo_ast_id
C
clingo_ast_interval
C
clingo_ast_literal
C
clingo_ast_minimize
C
clingo_ast_pool
C
clingo_ast_program
C
clingo_ast_project
C
clingo_ast_rule
C
clingo_ast_script
C
clingo_ast_show_signature
C
clingo_ast_show_term
C
clingo_ast_statement
C
clingo_ast_term
C
clingo_ast_theory_atom
C
clingo_ast_theory_atom_definition
C
clingo_ast_theory_atom_element
C
clingo_ast_theory_definition
C
clingo_ast_theory_function
C
clingo_ast_theory_guard
C
clingo_ast_theory_guard_definition
C
clingo_ast_theory_operator_definition
C
clingo_ast_theory_term
C
clingo_ast_theory_term_array
C
clingo_ast_theory_term_definition
C
clingo_ast_theory_unparsed_term
C
clingo_ast_theory_unparsed_term_element
C
clingo_ast_unary_operation
C
clingo_location
Represents a source code location marking its beginnig and end
C
clingo_part
Struct used to specify the program parts that have to be grounded
C
clingo_propagator
An instance of this struct has to be registered with a solver to implement a custom propagator
C
clingo_symbolic_literal
Represents a symbolic literal
C
clingo_weighted_literal
A Literal with an associated weight
Generated on Thu Aug 18 2016 13:19:53 for Clingo C API by
1.8.11