Crate clingo [−] [src]
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
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 |