Struct clingo::ClingoStatistics

pub struct ClingoStatistics(_);

Methods

impl ClingoStatistics

fn statistics_root(&mut self) -> Option<u64>

fn statistics_type(&mut self, key: u64) -> Option<clingo_statistics_type_t>

fn statistics_array_size(&mut self, key: u64) -> Option<usize>

fn statistics_array_at(&mut self, key: u64, offset: usize) -> Option<u64>

fn statistics_map_size(&mut self, key: u64) -> Option<usize>

fn statistics_map_subkey_name<'a>(
    &mut self,
    key: u64,
    offset: usize
) -> Option<&'a str>

fn statistics_map_at(&mut self, key: u64, name: &str) -> Option<u64>

fn statistics_value_get(&mut self, key: u64) -> Option<f64>