Struct GodelInterpretation 

pub struct GodelInterpretation {
    pub theorem: String,
    pub functional_type: String,
    pub realizing_term: String,
}

G_del functional interpretation.

Fields

theorem: String

functional_type: String

realizing_term: String

Implementations

impl GodelInterpretation

pub fn new(thm: &str, ftype: &str, term: &str) -> Self

pub fn soundness_statement(&self) -> String

Trait Implementations

impl Clone for GodelInterpretation

fn clone(&self) -> GodelInterpretation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GodelInterpretation

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

Formats the value using the given formatter.