Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Class Index
A | B | C | D | E | F | G | H | I | L | M | P | R | S | T | U | W
  a  
clingo_location   
  m  
clingo_ast_aggregate   
clingo_ast_aggregate_guard   clingo_ast_minimize   
  b  
  p  
clingo_ast_binary_operation   clingo_ast_pool   
clingo_ast_body_aggregate   clingo_ast_program   
clingo_ast_body_aggregate_element   clingo_ast_project   
clingo_ast_body_literal   clingo_part   
  c  
clingo_propagator   
  r  
clingo_ast_comparison   
clingo_ast_conditional_literal   clingo_ast_rule   
clingo_ast_csp_guard   
  s  
clingo_ast_csp_literal   
clingo_ast_csp_product_term   clingo_ast_script   
clingo_ast_csp_sum_term   clingo_ast_show_signature   
  d  
clingo_ast_show_term   
clingo_ast_statement   
clingo_ast_definition   clingo_symbolic_literal   
clingo_ast_disjoint   
  t  
clingo_ast_disjoint_element   
clingo_ast_disjunction   clingo_ast_term   
  e  
clingo_ast_theory_atom   
clingo_ast_theory_atom_definition   
clingo_ast_edge   clingo_ast_theory_atom_element   
clingo_ast_external   clingo_ast_theory_definition   
  f  
clingo_ast_theory_function   
clingo_ast_theory_guard   
clingo_ast_function   clingo_ast_theory_guard_definition   
  g  
clingo_ast_theory_operator_definition   
clingo_ast_theory_term   
clingo_ground_program_observer   clingo_ast_theory_term_array   
  h  
clingo_ast_theory_term_definition   
clingo_ast_theory_unparsed_term   
clingo_ast_head_aggregate   clingo_ast_theory_unparsed_term_element   
clingo_ast_head_aggregate_element   
  u  
clingo_ast_head_literal   
clingo_ast_heuristic   clingo_ast_unary_operation   
  i  
  w  
clingo_ast_id   clingo_weighted_literal   
clingo_ast_interval   
  l  
clingo_ast_literal   
A | B | C | D | E | F | G | H | I | L | M | P | R | S | T | U | W