Enum bytecode::dataflow_domains::JoinResult

pub enum JoinResult {
    Unchanged,
    Changed,
}

Represents the abstract outcome of a join.

Variants

Unchanged

The left operand subsumes the right operand: L union R == L.

Changed

The left operand does not subsume the right one and was changed as part of the join.

Implementations

impl JoinResult

pub fn combine(self, other: JoinResult) -> JoinResult

Build the least upper bound of two join results, where Unchanged is bottom element of the semilattice.

Trait Implementations

impl Clone for JoinResult

fn clone(&self) -> JoinResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for JoinResult

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

Formats the value using the given formatter.

impl PartialEq<JoinResult> for JoinResult

fn eq(&self, other: &JoinResult) -> 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 Copy for JoinResult

impl Eq for JoinResult

impl StructuralEq for JoinResult

impl StructuralPartialEq for JoinResult