Enum ParityDomain 

pub enum ParityDomain {
    Bottom,
    Even,
    Odd,
    Top,
}

The parity abstract domain: even, odd, or top/bottom.

Variants

Bottom

Even

Odd

Top

Implementations

impl ParityDomain

pub fn from_value(v: i64) -> Self

Create from a concrete integer.

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

Join two parity values.

pub fn meet(&self, other: &ParityDomain) -> ParityDomain

Meet two parity values.

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

Add two parity values.

pub fn mul(&self, other: &ParityDomain) -> ParityDomain

Multiply two parity values.

pub fn is_bottom(&self) -> bool

Return whether this is bottom.

pub fn is_top(&self) -> bool

Return whether this is top.

Trait Implementations

impl Clone for ParityDomain

fn clone(&self) -> ParityDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParityDomain

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

Formats the value using the given formatter.

impl PartialEq for ParityDomain

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

impl Eq for ParityDomain

impl StructuralPartialEq for ParityDomain