Struct ProofStructureExt 

pub struct ProofStructureExt {
    pub sequent: String,
    pub num_axiom_links: usize,
    pub is_correct: bool,
}

Proof net for multiplicative linear logic (second extended version).

Fields

sequent: String

num_axiom_links: usize

is_correct: bool

Implementations

impl ProofStructureExt

pub fn new(sequent: &str, axiom_links: usize, correct: bool) -> Self

pub fn correctness_criterion(&self) -> String

pub fn cut_elimination_description(&self) -> String

Trait Implementations

impl Clone for ProofStructureExt

fn clone(&self) -> ProofStructureExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofStructureExt

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

Formats the value using the given formatter.