Type Definition clingo_sys::clingo_statistics_type_t
[−]
[src]
type clingo_statistics_type_t = c_int;
Corresponding type to ::clingo_statistics_type.