pub const clingo_statistics_type_e_clingo_statistics_type_empty: clingo_statistics_type_e = 0;
Expand description
!< the entry is invalid (has neither of the types below)
pub const clingo_statistics_type_e_clingo_statistics_type_empty: clingo_statistics_type_e = 0;
!< the entry is invalid (has neither of the types below)