Struct gluon_check::substitution::UnionByLevel

pub struct UnionByLevel { /* private fields */ }

Specialized union implementation which makes sure that variables with a higher level always point to the lower level variable.

map.union(1, 2); map.find(2) -> 1 map.find(1) -> 1

Trait Implementations

impl Clone for UnionByLevel

fn clone(&self) -> UnionByLevel

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UnionByLevel

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

Formats the value using the given formatter.

impl From<u32> for UnionByLevel

fn from(index: u32) -> Self

Converts to this type from the input type.

impl PartialEq for UnionByLevel

fn eq(&self, other: &UnionByLevel) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl UnifyKey for UnionByLevel

type Value = Level

fn index(&self) -> u32

fn from_index(index: u32) -> Self

fn tag() -> &'static str

fn order_roots( a: Self, a_level: &Level, b: Self, b_level: &Level ) -> Option<(Self, Self)>

You should return first the key that should be used as root, then the other key (that will then point to the new root).

impl Copy for UnionByLevel

impl Eq for UnionByLevel

impl StructuralEq for UnionByLevel

impl StructuralPartialEq for UnionByLevel