Here is a list of all documented functions with links to the documentation:
- a -
- clingo_add_string() : clingo.h
- clingo_assignment_at() : 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_root_level() : clingo.h
- clingo_assignment_size() : clingo.h
- clingo_assignment_trail_at() : clingo.h
- clingo_assignment_trail_begin() : clingo.h
- clingo_assignment_trail_end() : clingo.h
- clingo_assignment_trail_size() : clingo.h
- clingo_assignment_truth_value() : clingo.h
- clingo_ast_acquire() : clingo.h
- clingo_ast_attribute_delete_ast_at() : clingo.h
- clingo_ast_attribute_delete_string_at() : clingo.h
- clingo_ast_attribute_get_ast() : clingo.h
- clingo_ast_attribute_get_ast_at() : clingo.h
- clingo_ast_attribute_get_location() : clingo.h
- clingo_ast_attribute_get_number() : clingo.h
- clingo_ast_attribute_get_optional_ast() : clingo.h
- clingo_ast_attribute_get_string() : clingo.h
- clingo_ast_attribute_get_string_at() : clingo.h
- clingo_ast_attribute_get_symbol() : clingo.h
- clingo_ast_attribute_insert_ast_at() : clingo.h
- clingo_ast_attribute_insert_string_at() : clingo.h
- clingo_ast_attribute_set_ast() : clingo.h
- clingo_ast_attribute_set_ast_at() : clingo.h
- clingo_ast_attribute_set_location() : clingo.h
- clingo_ast_attribute_set_number() : clingo.h
- clingo_ast_attribute_set_optional_ast() : clingo.h
- clingo_ast_attribute_set_string() : clingo.h
- clingo_ast_attribute_set_string_at() : clingo.h
- clingo_ast_attribute_set_symbol() : clingo.h
- clingo_ast_attribute_size_ast_array() : clingo.h
- clingo_ast_attribute_size_string_array() : clingo.h
- clingo_ast_attribute_type() : clingo.h