Struct FunctionalInterpretation 

pub struct FunctionalInterpretation {
    pub formula: DialecticaFormula,
    pub functional_description: String,
}

Computable functional realizing ∀∃ statements under Dialectica.

Fields

formula: DialecticaFormula

The formula being realized.

functional_description: String

Description of the realizing functional.

Implementations

impl FunctionalInterpretation

pub fn new( formula: DialecticaFormula, functional_description: impl Into<String>, ) -> Self

Create a new functional interpretation.

Trait Implementations

impl Clone for FunctionalInterpretation

fn clone(&self) -> FunctionalInterpretation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionalInterpretation

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

Formats the value using the given formatter.