Struct flag_algebra::operator::Unlabeling

pub struct Unlabeling<F> {
    pub flag: usize,
    pub basis: Basis<F>,
}

Let F be the flag indexed by id on basis basis this represents the unlabeling opearation that sends the type fully_typed(F) to the flag F

Fields

flag: usize

basis: Basis<F>

Implementations

impl<F> Unlabeling<F>

pub fn new(basis: Basis<F>, flag: usize) -> Self

pub fn total(t: Type) -> Self

pub fn input_type(&self) -> Type where
    F: Flag, 

pub fn output_type(&self) -> Type

pub fn eta(&self) -> Vec<usize> where
    F: Flag, 

Return the eta function of Razborov corresponding to the untyping operator.

Trait Implementations

impl<F> Clone for Unlabeling<F>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F> Copy for Unlabeling<F>

impl<F: Debug> Debug for Unlabeling<F>

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

Formats the value using the given formatter.