Enum SignDomain 

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

Abstract sign domain for numeric expressions.

Variants

Bottom

No information (least element).

Neg

Strictly negative.

Zero

Exactly zero.

Pos

Strictly positive.

Nonzero

Non-zero (either negative or positive).

NonNeg

Non-negative (zero or positive).

NonPos

Non-positive (zero or negative).

Top

All values (greatest element).

Implementations

impl SignDomain

pub fn negate(&self) -> SignDomain

Negate a sign value.

pub fn add(s1: SignDomain, s2: SignDomain) -> SignDomain

Abstract addition of two sign values.

pub fn mul(s1: SignDomain, s2: SignDomain) -> SignDomain

Abstract multiplication of two sign values.

Trait Implementations

impl AbstractDomain for SignDomain

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

Least upper bound (join) of two elements.

fn meet(&self, other: &Self) -> Self

Greatest lower bound (meet) of two elements.

fn is_bottom(&self) -> bool

True if this element is bottom (least element).

fn is_top(&self) -> bool

True if this element is top (greatest element).

fn leq(&self, other: &Self) -> bool

True if self ⊑ other.

impl Clone for SignDomain

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SignDomain

impl Debug for SignDomain

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

Formats the value using the given formatter.

impl Eq for SignDomain

impl PartialEq for SignDomain

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SignDomain