Crate clingo

Structs

ClingoBackend
ClingoConfiguration
ClingoControl
ClingoModel
ClingoPart
ClingoPropagateControl
ClingoPropagateInit
ClingoSolveControl
ClingoSolveHandle
ClingoStatistics
ClingoSymbolicAtoms
ClingoTheoryAtoms
clingo_propagator	An instance of this struct has to be registered with a solver to implement a custom propagator.

Enums

clingo_show_type	Enumeration of bit flags to select symbols in models.
clingo_solve_mode	Enumeration of solve modes.

Functions

new_clingo_control
safe_clingo_error_code
safe_clingo_error_message
safe_clingo_set_error
safe_clingo_symbol_arguments
safe_clingo_symbol_create_function
safe_clingo_symbol_create_id
safe_clingo_symbol_create_number
safe_clingo_symbol_hash
safe_clingo_symbol_is_equal_to
safe_clingo_symbol_is_less_than
safe_clingo_symbol_number
safe_clingo_symbol_to_string
safe_clingo_version

Type Definitions

clingo_id_t	Unsigned integer type used in various places.
clingo_literal_t	Signed integer type used for aspif and solver literals.
clingo_logger_t	Callback to intercept warning messages.
clingo_show_type_bitset_t	Corresponding type to ::clingo_show_type.
clingo_solve_event_callback_t	Callback function called during search to notify when the search is finished or a model is ready.
clingo_solve_event_type_t	Corresponding type to ::clingo_solve_event_type.
clingo_solve_handle_t	Search handle to a solve call.
clingo_solve_mode_bitset_t	Corresponding type to ::clingo_solve_mode.
clingo_solve_result_bitset_t