Type Alias clingo_sys::clingo_solve_event_type_e
source · pub type clingo_solve_event_type_e = c_uint;
Expand description
! Enumeration of solve events.
pub type clingo_solve_event_type_e = c_uint;
! Enumeration of solve events.