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

- a -

• clingo_add_string() : clingo.h
• clingo_assignment_decision() : clingo.h
• clingo_assignment_decision_level() : clingo.h
• clingo_assignment_has_conflict() : clingo.h
• clingo_assignment_has_literal() : clingo.h
• clingo_assignment_is_false() : clingo.h
• clingo_assignment_is_fixed() : clingo.h
• clingo_assignment_is_total() : clingo.h
• clingo_assignment_is_true() : clingo.h
• clingo_assignment_level() : clingo.h
• clingo_assignment_max_size() : clingo.h
• clingo_assignment_size() : clingo.h
• clingo_assignment_t : clingo.h
• clingo_assignment_truth_value() : clingo.h
• clingo_atom_t : clingo.h