Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Loading...
Searching...
No Matches
Here is a list of all documented functions with links to the documentation:
- b -
clingo_ast_build() :
clingo.h
clingo_backend_acyc_edge() :
clingo.h
clingo_backend_add_atom() :
clingo.h
clingo_backend_assume() :
clingo.h
clingo_backend_begin() :
clingo.h
clingo_backend_end() :
clingo.h
clingo_backend_external() :
clingo.h
clingo_backend_heuristic() :
clingo.h
clingo_backend_minimize() :
clingo.h
clingo_backend_project() :
clingo.h
clingo_backend_rule() :
clingo.h
clingo_backend_theory_atom() :
clingo.h
clingo_backend_theory_atom_with_guard() :
clingo.h
clingo_backend_theory_element() :
clingo.h
clingo_backend_theory_term_function() :
clingo.h
clingo_backend_theory_term_number() :
clingo.h
clingo_backend_theory_term_sequence() :
clingo.h
clingo_backend_theory_term_string() :
clingo.h
clingo_backend_theory_term_symbol() :
clingo.h
clingo_backend_weight_rule() :
clingo.h
Generated on Thu Apr 3 2025 15:37:59 for Clingo C API by
1.12.0