Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Main Page
Modules
Classes
Files
Examples
File List
File Members
All
Functions
Typedefs
Enumerations
Enumerator
Macros
c
e
h
m
s
t
w
- c -
clingo_clause_type_learnt :
clingo.h
clingo_clause_type_static :
clingo.h
clingo_clause_type_volatile :
clingo.h
clingo_clause_type_volatile_static :
clingo.h
clingo_configuration_type_array :
clingo.h
clingo_configuration_type_map :
clingo.h
clingo_configuration_type_value :
clingo.h
- e -
clingo_error_bad_alloc :
clingo.h
clingo_error_logic :
clingo.h
clingo_error_runtime :
clingo.h
clingo_error_success :
clingo.h
clingo_error_unknown :
clingo.h
clingo_external_type_false :
clingo.h
clingo_external_type_free :
clingo.h
clingo_external_type_release :
clingo.h
clingo_external_type_true :
clingo.h
- h -
clingo_heuristic_type_factor :
clingo.h
clingo_heuristic_type_false :
clingo.h
clingo_heuristic_type_init :
clingo.h
clingo_heuristic_type_level :
clingo.h
clingo_heuristic_type_sign :
clingo.h
clingo_heuristic_type_true :
clingo.h
- m -
clingo_model_type_brave_consequences :
clingo.h
clingo_model_type_cautious_consequences :
clingo.h
clingo_model_type_stable_model :
clingo.h
- s -
clingo_show_type_all :
clingo.h
clingo_show_type_atoms :
clingo.h
clingo_show_type_complement :
clingo.h
clingo_show_type_csp :
clingo.h
clingo_show_type_extra :
clingo.h
clingo_show_type_shown :
clingo.h
clingo_show_type_terms :
clingo.h
clingo_solve_result_exhausted :
clingo.h
clingo_solve_result_interrupted :
clingo.h
clingo_solve_result_satisfiable :
clingo.h
clingo_solve_result_unsatisfiable :
clingo.h
clingo_statistics_type_array :
clingo.h
clingo_statistics_type_empty :
clingo.h
clingo_statistics_type_map :
clingo.h
clingo_statistics_type_value :
clingo.h
clingo_symbol_type_function :
clingo.h
clingo_symbol_type_infimum :
clingo.h
clingo_symbol_type_number :
clingo.h
clingo_symbol_type_string :
clingo.h
clingo_symbol_type_supremum :
clingo.h
- t -
clingo_theory_term_type_function :
clingo.h
clingo_theory_term_type_list :
clingo.h
clingo_theory_term_type_number :
clingo.h
clingo_theory_term_type_set :
clingo.h
clingo_theory_term_type_symbol :
clingo.h
clingo_theory_term_type_tuple :
clingo.h
clingo_truth_value_false :
clingo.h
clingo_truth_value_free :
clingo.h
clingo_truth_value_true :
clingo.h
- w -
clingo_warning_atom_undefined :
clingo.h
clingo_warning_file_included :
clingo.h
clingo_warning_global_variable :
clingo.h
clingo_warning_operation_undefined :
clingo.h
clingo_warning_other :
clingo.h
clingo_warning_runtime_error :
clingo.h
clingo_warning_variable_unbounded :
clingo.h
Generated on Thu Aug 18 2016 13:19:53 for Clingo C API by
1.8.11