Type Alias clingo_sys::clingo_statistics_type_e
source · pub type clingo_statistics_type_e = c_uint;
Expand description
! Enumeration for entries of the statistics.
pub type clingo_statistics_type_e = c_uint;
! Enumeration for entries of the statistics.