Struct SequentProof 

pub struct SequentProof {
    pub antecedents: Vec<String>,
    pub consequent: String,
    pub rule_name: String,
    pub premises: Vec<SequentProof>,
}

Sequent calculus proof tree.

Fields

antecedents: Vec<String>

consequent: String

rule_name: String

premises: Vec<SequentProof>

Implementations

impl SequentProof

pub fn axiom(formula: &str) -> Self

pub fn new( ants: Vec<&str>, cons: &str, rule: &str, prems: Vec<SequentProof>, ) -> Self

pub fn height(&self) -> usize

pub fn n_leaves(&self) -> usize

Trait Implementations

impl Clone for SequentProof

fn clone(&self) -> SequentProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SequentProof

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

Formats the value using the given formatter.