Constant clingo_sys::clingo_statistics_type_e_clingo_statistics_type_value

source · 
pub const clingo_statistics_type_e_clingo_statistics_type_value: clingo_statistics_type_e = 1;
Expand description

!< the entry is a (double) value