Struct clingo::Statistics

pub struct Statistics(_);

Handle for to the solver statistics.

Methods

impl Statistics

pub fn root(&self) -> Option<u64>

Get the root key of the statistics.

pub fn statistics_type(&self, key: u64) -> Option<StatisticsType>

Get the type of a key.

pub fn array_size(&self, key: u64) -> Option<usize>

Get the size of an array entry.

Pre-condition

The statistics type of the entry must be StatisticsType::Array.

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

Get the subkey at the given offset of an array entry.

Pre-condition

The statistics type of the entry must be StatisticsType::Array.

Arguments

• key - the key
• offset - the offset in the array

pub fn map_size(&self, key: u64) -> Option<usize>

Get the number of subkeys of a map entry.

Pre-condition

The statistics type of the entry must be StatisticsType::Map.

pub fn map_subkey_name(&self, key: u64, offset: usize) -> Result<&str, Error>

Get the name associated with the offset-th subkey.

Pre-condition

The statistics type of the entry must be StatisticsType::Map.

Arguments

• key - the key
• offset - the offset of the name

pub fn map_at(&self, key: u64, name: &str) -> Option<u64>

Lookup a subkey under the given name.

Pre-condition

The statistics type of the entry must be StatisticsType::Map.

Note: Multiple levels can be looked up by concatenating keys with a period.

Arguments

• key - the key
• name - the name to lookup the subkey

pub fn value_get(&self, key: u64) -> Option<f64>

Get the value of the given entry.

Pre-condition

The statistics type of the entry must be StatisticsType::Value.

Trait Implementations

impl Debug for Statistics

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for Statistics

impl Clone for Statistics

fn clone(&self) -> Statistics

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.