Struct flag_algebra::operator::Unlabeling

pub struct Unlabeling<F> { /* fields omitted */ }

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

Methods

impl<F: Flag> Unlabeling<F>

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

pub fn total(t: Type) -> Self

pub fn input_type(&self) -> Type

pub fn output_type(&self) -> Type

pub fn eta(&self) -> Vec<usize>

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.