Enum clingo::StatisticsType

pub enum StatisticsType {
    Empty,
    Value,
    Array,
    Map,
}

Enumeration for entries of the statistics.

Variants

Empty

The entry is invalid (has neither of the types below)

Value

The entry is a (string) value

Array

The entry is an array

Map

The entry is a map

Trait Implementations

impl Debug for StatisticsType

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

Formats the value using the given formatter.

impl Copy for StatisticsType

impl Clone for StatisticsType

fn clone(&self) -> StatisticsType

Returns a copy of the value.

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

Performs copy-assignment from source.