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

- m -

• clingo_model_contains() : clingo.h
• clingo_model_context() : clingo.h
• clingo_model_cost() : clingo.h
• clingo_model_cost_size() : clingo.h
• clingo_model_is_true() : clingo.h
• clingo_model_number() : clingo.h
• clingo_model_optimality_proven() : clingo.h
• clingo_model_symbols() : clingo.h
• clingo_model_symbols_size() : clingo.h
• clingo_model_t : clingo.h
• clingo_model_thread_id() : clingo.h
• clingo_model_type() : clingo.h
• clingo_model_type_brave_consequences : clingo.h
• clingo_model_type_cautious_consequences : clingo.h
• clingo_model_type_stable_model : clingo.h
• clingo_model_type_t : clingo.h