Enum SignDomain 

pub enum SignDomain {
    Bottom,
    Neg,
    Zero,
    Pos,
    NonNeg,
    NonPos,
    Top,
}

The abstract value for the sign domain.

Variants

Bottom

No concrete values (unreachable)

Neg

Strictly negative integers (< 0)

Zero

Zero only

Pos

Strictly positive integers (> 0)

NonNeg

Non-negative integers (≥ 0)

NonPos

Non-positive integers (≤ 0)

Top

All integers (no information)

Implementations

impl SignDomain

pub fn join(&self, other: &Self) -> Self

Join (least upper bound ⊔) of two sign abstract values.

pub fn widen(&self, other: &Self) -> Self

Widening for sign domain (same as join since it’s a finite lattice).

pub fn add(&self, other: &Self) -> Self

Abstract semantics of addition.

pub fn neg(&self) -> Self

Abstract semantics of negation.

Trait Implementations

impl Clone for SignDomain

fn clone(&self) -> SignDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SignDomain

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

Formats the value using the given formatter.

impl PartialEq for SignDomain

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for SignDomain

impl StructuralPartialEq for SignDomain