Struct ConstructivePrinciple 

pub struct ConstructivePrinciple {
    pub name: String,
    pub classical_counterpart: String,
    pub constructively_provable: bool,
    pub required_axiom: Option<String>,
}

Bishop-style constructive principles and their RM strengths.

Fields

name: String

Name of the principle.

classical_counterpart: String

The classical theorem it corresponds to.

constructively_provable: bool

Whether this is constructively provable (Bishop-style).

required_axiom: Option<String>

Required axiom for constructive proof (if any).

Implementations

impl ConstructivePrinciple

pub fn new( name: impl Into<String>, classical: impl Into<String>, constructive: bool, axiom: Option<impl Into<String>>, ) -> Self

pub fn display(&self) -> String

Trait Implementations

impl Clone for ConstructivePrinciple

fn clone(&self) -> ConstructivePrinciple

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstructivePrinciple

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

Formats the value using the given formatter.