Struct spinach::lattice::pair::PairRepr

pub struct PairRepr<Ra: LatticeRepr, Rb: LatticeRepr> { /* fields omitted */ }

Trait Implementations

impl<SelfRA, SelfRB, DeltaRA, DeltaRB, La, Lb> Compare<PairRepr<DeltaRA, DeltaRB>> for PairRepr<SelfRA, SelfRB> where
    La: Lattice,
    Lb: Lattice,
    SelfRA: LatticeRepr<Lattice = La>,
    SelfRB: LatticeRepr<Lattice = Lb>,
    DeltaRA: LatticeRepr<Lattice = La>,
    DeltaRB: LatticeRepr<Lattice = Lb>,
    SelfRA: Compare<DeltaRA>,
    SelfRB: Compare<DeltaRB>, 

fn compare(
    this: &<PairRepr<SelfRA, SelfRB> as LatticeRepr>::Repr,
    other: &<PairRepr<DeltaRA, DeltaRB> as LatticeRepr>::Repr
) -> Option<Ordering>

impl<Ra: Debottom, Rb: Debottom> Debottom for PairRepr<Ra, Rb>

fn is_bottom(this: &Self::Repr) -> bool

type DebottomLr = PairRepr<BottomRepr<Ra::DebottomLr>, BottomRepr<Rb::DebottomLr>>

fn debottom(this: Self::Repr) -> Option<<Self::DebottomLr as LatticeRepr>::Repr>

impl<Ra: LatticeRepr, Rb: LatticeRepr> LatticeRepr for PairRepr<Ra, Rb>

type Lattice = Pair<Ra::Lattice, Rb::Lattice>

type Repr = (Ra::Repr, Rb::Repr)

impl<SelfRA, SelfRB, DeltaRA, DeltaRB, La, Lb> Merge<PairRepr<DeltaRA, DeltaRB>> for PairRepr<SelfRA, SelfRB> where
    La: Lattice,
    Lb: Lattice,
    SelfRA: LatticeRepr<Lattice = La>,
    SelfRB: LatticeRepr<Lattice = Lb>,
    DeltaRA: LatticeRepr<Lattice = La>,
    DeltaRB: LatticeRepr<Lattice = Lb>,
    SelfRA: Merge<DeltaRA>,
    SelfRB: Merge<DeltaRB>,
    DeltaRA: Convert<SelfRA>,
    DeltaRB: Convert<SelfRB>, 

fn merge(
    this: &mut <PairRepr<SelfRA, SelfRB> as LatticeRepr>::Repr,
    delta: <PairRepr<DeltaRA, DeltaRB> as LatticeRepr>::Repr
) -> bool

Merge DELTA into THIS. Return TRUE if THIS changed, FALSE if THIS was unchanged.

fn merge_hide<Y: Qualifier, Z: Qualifier>(
    this: &mut Hide<Y, Self>,
    delta: Hide<Z, Delta>
) -> bool

impl<Ra: Top, Rb: Top> Top for PairRepr<Ra, Rb>

fn is_top(this: &Self::Repr) -> bool

fn top() -> Self::Repr