Struct ProofSystemNew 

pub struct ProofSystemNew {
    pub name: String,
    pub system_type: ProofSystemType,
    pub propositional_completeness: bool,
    pub p_simulates_resolution: Option<bool>,
}

Fields

name: String

system_type: ProofSystemType

propositional_completeness: bool

p_simulates_resolution: Option<bool>

Implementations

impl ProofSystemNew

pub fn resolution() -> Self

pub fn frege() -> Self

pub fn extended_frege() -> Self

pub fn separating_tautologies(&self) -> String

pub fn cook_reckhow_theorem(&self) -> String

Trait Implementations

impl Clone for ProofSystemNew

fn clone(&self) -> ProofSystemNew

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofSystemNew

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

Formats the value using the given formatter.