Struct BigFiveStats 

pub struct BigFiveStats {
    pub rca0_count: usize,
    pub wkl0_count: usize,
    pub aca0_count: usize,
    pub atr0_count: usize,
    pub pi11ca0_count: usize,
}

Summary statistics about the Big Five systems.

Fields

rca0_count: usize

Number of “classical” theorems provable in each system.

wkl0_count: usize

aca0_count: usize

atr0_count: usize

pi11ca0_count: usize

Implementations

impl BigFiveStats

pub fn from_scoreboard(sb: &RMScoreboard) -> Self

pub fn total(&self) -> usize

pub fn display(&self) -> String

Trait Implementations

impl Clone for BigFiveStats

fn clone(&self) -> BigFiveStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BigFiveStats

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.