Struct EtaExpansion 

pub struct EtaExpansion {
    pub parameter: String,
}

Hardness evidence via eta-expansions and cross-composition.

Fields

parameter: String

The parameter in question.

Implementations

impl EtaExpansion

pub fn kernelization_lower_bound(&self) -> String

Returns a description of the kernelization lower bound argument.

pub fn cross_composition(&self) -> String

Returns a description of the cross-composition argument.

Trait Implementations

impl Clone for EtaExpansion

fn clone(&self) -> EtaExpansion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaExpansion

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

Formats the value using the given formatter.