Struct OmegaModel 

pub struct OmegaModel {
    pub name: String,
    pub satisfies: String,
    pub is_minimal: bool,
    pub description: String,
}

Omega-models and their properties.

Fields

name: String

Name of the model (e.g., “ω-model of ACA₀”).

satisfies: String

Which subsystem this is a model of.

is_minimal: bool

Whether this is a minimal omega-model.

description: String

Description.

Implementations

impl OmegaModel

pub fn new( name: impl Into<String>, satisfies: impl Into<String>, is_minimal: bool, description: impl Into<String>, ) -> Self

pub fn standard_aca0() -> Self

pub fn rec_sets() -> Self

pub fn description_str(&self) -> String

Trait Implementations

impl Clone for OmegaModel

fn clone(&self) -> OmegaModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OmegaModel

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

Formats the value using the given formatter.