Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Main Page
Modules
+
Classes
Class List
Class Index
+
Class Members
+
All
a
b
c
d
e
h
i
l
m
n
o
p
r
s
t
u
v
w
+
Variables
a
b
c
d
e
h
i
l
m
n
o
p
r
s
t
u
v
w
+
Files
File List
+
File Members
+
All
a
b
c
d
e
g
h
i
l
m
o
p
s
t
v
w
+
Functions
a
b
c
e
m
o
p
s
t
v
w
+
Typedefs
a
b
c
d
e
g
h
i
l
m
o
p
s
t
w
Enumerations
+
Enumerator
c
e
h
m
p
s
t
w
Macros
Examples
•
All
Classes
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Modules
Pages
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
C
clingo_application
This struct contains a set of functions to customize the clingo application
C
clingo_ast_aggregate
C
clingo_ast_aggregate_guard
C
clingo_ast_binary_operation
C
clingo_ast_body_aggregate
C
clingo_ast_body_aggregate_element
C
clingo_ast_body_literal
C
clingo_ast_comparison
C
clingo_ast_conditional_literal
C
clingo_ast_csp_guard
C
clingo_ast_csp_literal
C
clingo_ast_csp_product_term
C
clingo_ast_csp_sum_term
C
clingo_ast_defined
C
clingo_ast_definition
C
clingo_ast_disjoint
C
clingo_ast_disjoint_element
C
clingo_ast_disjunction
C
clingo_ast_edge
C
clingo_ast_external
C
clingo_ast_function
C
clingo_ast_head_aggregate
C
clingo_ast_head_aggregate_element
C
clingo_ast_head_literal
C
clingo_ast_heuristic
C
clingo_ast_id
C
clingo_ast_interval
C
clingo_ast_literal
C
clingo_ast_minimize
C
clingo_ast_pool
C
clingo_ast_program
C
clingo_ast_project
C
clingo_ast_rule
C
clingo_ast_script
C
clingo_ast_show_signature
C
clingo_ast_show_term
C
clingo_ast_statement
C
clingo_ast_term
C
clingo_ast_theory_atom
C
clingo_ast_theory_atom_definition
C
clingo_ast_theory_atom_element
C
clingo_ast_theory_definition
C
clingo_ast_theory_function
C
clingo_ast_theory_guard
C
clingo_ast_theory_guard_definition
C
clingo_ast_theory_operator_definition
C
clingo_ast_theory_term
C
clingo_ast_theory_term_array
C
clingo_ast_theory_term_definition
C
clingo_ast_theory_unparsed_term
C
clingo_ast_theory_unparsed_term_element
C
clingo_ast_unary_operation
C
clingo_ground_program_observer
An instance of this struct has to be registered with a solver to observe ground directives as they are passed to the solver
C
clingo_location
Represents a source code location marking its beginnig and end
C
clingo_part
Struct used to specify the program parts that have to be grounded
C
clingo_propagator
An instance of this struct has to be registered with a solver to implement a custom propagator
C
clingo_weighted_literal
A Literal with an associated weight
Generated on Mon Aug 26 2019 12:10:53 for Clingo C API by
1.8.13
1.8.13