Struct ParamReduction 

pub struct ParamReduction {
    pub from_problem: String,
    pub to_problem: String,
    pub from_param: String,
    pub to_param: String,
    pub param_function: String,
}

Parameterized reduction between problems.

Fields

from_problem: String

to_problem: String

from_param: String

to_param: String

param_function: String

Implementations

impl ParamReduction

pub fn new(from: &str, to: &str, from_p: &str, to_p: &str, f: &str) -> Self

pub fn is_fpt_reduction(&self) -> bool

Trait Implementations

impl Clone for ParamReduction

fn clone(&self) -> ParamReduction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParamReduction

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

Formats the value using the given formatter.