Struct DialecticaInterp 

pub struct DialecticaInterp {
    pub formula: String,
    pub witness_type: String,
    pub counterexample_type: String,
    pub is_godel_dialectica: bool,
}

Fields

formula: String

witness_type: String

counterexample_type: String

is_godel_dialectica: bool

Implementations

impl DialecticaInterp

pub fn new(formula: &str, witness: &str, counter: &str) -> Self

pub fn godel_t_translation(&self) -> String

pub fn modified_realizability(&self) -> String

pub fn soundness_theorem(&self) -> String

pub fn is_sound_for_classical(&self) -> bool

Trait Implementations

impl Clone for DialecticaInterp

fn clone(&self) -> DialecticaInterp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DialecticaInterp

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

Formats the value using the given formatter.