Struct CookReckhowThm 

pub struct CookReckhowThm {
    pub statement: String,
}

The Cook-Reckhow theorem: NP ≠ co-NP iff no proof system is “efficient”.

Fields

statement: String

Statement of the theorem.

Implementations

impl CookReckhowThm

pub fn canonical() -> Self

Return the canonical statement of Cook-Reckhow.

Trait Implementations

impl Clone for CookReckhowThm

fn clone(&self) -> CookReckhowThm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CookReckhowThm

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

Formats the value using the given formatter.