Here is a list of all documented functions with links to the documentation:

- m -

• clingo_main() : clingo.h
• clingo_model_contains() : clingo.h
• clingo_model_context() : clingo.h
• clingo_model_cost() : clingo.h
• clingo_model_cost_size() : clingo.h
• clingo_model_extend() : clingo.h
• clingo_model_is_consequence() : clingo.h
• clingo_model_is_true() : clingo.h
• clingo_model_number() : clingo.h
• clingo_model_optimality_proven() : clingo.h
• clingo_model_priority() : clingo.h
• clingo_model_symbols() : clingo.h
• clingo_model_symbols_size() : clingo.h
• clingo_model_thread_id() : clingo.h
• clingo_model_type() : clingo.h