Type Alias clingo_sys::clingo_solve_control_t
source · pub type clingo_solve_control_t = clingo_solve_control;
Expand description
! Object to add clauses during search.
Aliased Type§
struct clingo_solve_control_t { /* private fields */ }