Here is a list of all documented functions with links to the documentation:
- p -
- clingo_ast_parse_files() : clingo.h
- clingo_ast_parse_string() : clingo.h
- clingo_parse_term() : clingo.h
- clingo_program_builder_add() : clingo.h
- clingo_program_builder_begin() : clingo.h
- clingo_program_builder_end() : clingo.h
- clingo_program_builder_init() : clingo.h
- clingo_propagate_control_add_clause() : clingo.h
- clingo_propagate_control_add_literal() : clingo.h
- clingo_propagate_control_add_watch() : clingo.h
- clingo_propagate_control_assignment() : clingo.h
- clingo_propagate_control_has_watch() : clingo.h
- clingo_propagate_control_propagate() : clingo.h
- clingo_propagate_control_remove_watch() : clingo.h
- clingo_propagate_control_thread_id() : clingo.h
- clingo_propagate_init_add_clause() : clingo.h
- clingo_propagate_init_add_literal() : clingo.h
- clingo_propagate_init_add_minimize() : clingo.h
- clingo_propagate_init_add_watch() : clingo.h
- clingo_propagate_init_add_watch_to_thread() : clingo.h
- clingo_propagate_init_add_weight_constraint() : clingo.h
- clingo_propagate_init_assignment() : clingo.h
- clingo_propagate_init_freeze_literal() : clingo.h
- clingo_propagate_init_get_check_mode() : clingo.h
- clingo_propagate_init_get_undo_mode() : clingo.h
- clingo_propagate_init_number_of_threads() : clingo.h
- clingo_propagate_init_propagate() : clingo.h
- clingo_propagate_init_remove_watch() : clingo.h
- clingo_propagate_init_remove_watch_from_thread() : clingo.h
- clingo_propagate_init_set_check_mode() : clingo.h
- clingo_propagate_init_set_undo_mode() : clingo.h
- clingo_propagate_init_solver_literal() : clingo.h
- clingo_propagate_init_symbolic_atoms() : clingo.h
- clingo_propagate_init_theory_atoms() : clingo.h