Struct gf::support::lattice::Flip

pub struct Flip<L>(pub L);

Adapter for converting a meet semilattice into a join semilattice, a bottom element into a top element and vice versa.

Trait Implementations

impl<L: Top> Bottom for Flip<L>

fn bottom() -> Self

Return the bottom element, ⊥.

fn is_bottom(&self) -> bool

Test whether self is ⊥.

fn to_option(self) -> Option<Self>

Convert ⊥ to None and all other elements to Some.

fn reset_to_bottom(&mut self)

Reset self to ⊥.

impl<L: Clone> Clone for Flip<L>

fn clone(&self) -> Flip<L>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<L: Copy> Copy for Flip<L>

impl<L: Debug> Debug for Flip<L>

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

Formats the value using the given formatter.

impl<L: Eq> Eq for Flip<L>

impl<L: Hash> Hash for Flip<L>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<L: Meet> Join for Flip<L>

fn join(a: &Self, b: &Self) -> Self

Return a ⊔ b.

fn join_cmp(a: &Self, b: &Self) -> Option<Ordering>

Compare a and b using the induced partial order ⊑.

impl<L: Join> Meet for Flip<L>

fn meet(a: &Self, b: &Self) -> Self

Return a ⊓ b.

fn meet_cmp(a: &Self, b: &Self) -> Option<Ordering>

Compare a and b using the induced partial order ⊑.

impl<L: PartialEq> PartialEq<Flip<L>> for Flip<L>

fn eq(&self, other: &Flip<L>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Flip<L>) -> bool

This method tests for !=.

impl<L> StructuralEq for Flip<L>

impl<L> StructuralPartialEq for Flip<L>

impl<L: Bottom> Top for Flip<L>

fn top() -> Self

Return the top element, ⊤.

fn is_top(&self) -> bool

Test whether self is ⊤.

fn reset_to_top(&mut self)

Reset self to ⊤.