Clingo C API
C API for clingo providing high level functions to control grounding and solving.
clingo_ground_program_observer Member List

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

acyc_edgeclingo_ground_program_observer
assumeclingo_ground_program_observer
begin_stepclingo_ground_program_observer
end_stepclingo_ground_program_observer
externalclingo_ground_program_observer
heuristicclingo_ground_program_observer
init_programclingo_ground_program_observer
minimizeclingo_ground_program_observer
projectclingo_ground_program_observer
ruleclingo_ground_program_observer
theory_atomclingo_ground_program_observer
theory_atom_with_guardclingo_ground_program_observer
theory_elementclingo_ground_program_observer
theory_term_compoundclingo_ground_program_observer
theory_term_numberclingo_ground_program_observer
theory_term_stringclingo_ground_program_observer
weight_ruleclingo_ground_program_observer
Generated on Wed Oct 19 2016 09:14:55 for Clingo C API by   doxygen 1.8.11