Type Definition clingo_sys::clingo_statistics_t
[−]
[src]
type clingo_statistics_t = clingo_statistic;
Handle for to the solver statistics.