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
a
b
c
e
f
g
h
i
l
m
p
s
t
v
w
Here is a list of all documented file members with links to the documentation:
- c -
clingo_clause_type :
clingo.h
clingo_clause_type_learnt :
clingo.h
clingo_clause_type_static :
clingo.h
clingo_clause_type_t :
clingo.h
clingo_clause_type_volatile :
clingo.h
clingo_clause_type_volatile_static :
clingo.h
clingo_configuration_array_at() :
clingo.h
clingo_configuration_array_size() :
clingo.h
clingo_configuration_description() :
clingo.h
clingo_configuration_map_at() :
clingo.h
clingo_configuration_map_size() :
clingo.h
clingo_configuration_map_subkey_name() :
clingo.h
clingo_configuration_root() :
clingo.h
clingo_configuration_t :
clingo.h
clingo_configuration_type :
clingo.h
clingo_configuration_type_array :
clingo.h
clingo_configuration_type_bitset_t :
clingo.h
clingo_configuration_type_map :
clingo.h
clingo_configuration_type_value :
clingo.h
clingo_configuration_value_get() :
clingo.h
clingo_configuration_value_get_size() :
clingo.h
clingo_configuration_value_is_assigned() :
clingo.h
clingo_configuration_value_set() :
clingo.h
clingo_control_add() :
clingo.h
clingo_control_assign_external() :
clingo.h
clingo_control_backend() :
clingo.h
clingo_control_cleanup() :
clingo.h
clingo_control_configuration() :
clingo.h
clingo_control_free() :
clingo.h
clingo_control_get_const() :
clingo.h
clingo_control_ground() :
clingo.h
clingo_control_has_const() :
clingo.h
clingo_control_interrupt() :
clingo.h
clingo_control_load() :
clingo.h
clingo_control_new() :
clingo.h
clingo_control_program_builder() :
clingo.h
clingo_control_register_propagator() :
clingo.h
clingo_control_release_external() :
clingo.h
clingo_control_solve() :
clingo.h
clingo_control_solve_async() :
clingo.h
clingo_control_solve_iteratively() :
clingo.h
clingo_control_statistics() :
clingo.h
clingo_control_symbolic_atoms() :
clingo.h
clingo_control_t :
clingo.h
clingo_control_theory_atoms() :
clingo.h
clingo_control_use_enumeration_assumption() :
clingo.h
CLINGO_VERSION :
clingo.h
CLINGO_VERSION_MAJOR :
clingo.h
CLINGO_VERSION_MINOR :
clingo.h
CLINGO_VERSION_REVISION :
clingo.h
Generated on Thu Aug 18 2016 13:19:53 for Clingo C API by
1.8.11