This is the complete list of members for clingo_theory, including all inherited members.

assignment_get_value	clingo_theory
assignment_next	clingo_theory
configure	clingo_theory
destroy	clingo_theory
info	clingo_theory
lookup_symbol	clingo_theory
on_model	clingo_theory
on_stats	clingo_theory
prepare	clingo_theory
register_options	clingo_theory
register_theory	clingo_theory
rewrite_ast	clingo_theory
self	clingo_theory
validate_options	clingo_theory