Type Alias clingo_sys::clingo_statistics_t
source · pub type clingo_statistics_t = clingo_statistic;
Expand description
! Handle for the solver statistics.
Aliased Type§
struct clingo_statistics_t { /* private fields */ }
pub type clingo_statistics_t = clingo_statistic;
! Handle for the solver statistics.
struct clingo_statistics_t { /* private fields */ }