Struct CongruenceDomain 

pub struct CongruenceDomain {
    pub modulus: u64,
    pub residue: u64,
}

The congruence abstract domain: values congruent to r mod m.

Fields

modulus: u64

residue: u64

Implementations

impl CongruenceDomain

pub fn singleton(v: u64) -> Self

Create a singleton value (mod=1, res=0 is “any”).

pub fn congruent(modulus: u64, residue: u64) -> Self

Create “all values congruent to r mod m”.

pub fn top() -> Self

Create the top element (any value).

pub fn bottom() -> Self

Create the bottom element (no values).

pub fn is_top(&self) -> bool

Return whether this is top (everything).

pub fn is_bottom(&self) -> bool

Return whether this is bottom (nothing).

pub fn satisfies(&self, v: u64) -> bool

Return whether a value satisfies this congruence.

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

Join (GCD-based).

Trait Implementations

impl Clone for CongruenceDomain

fn clone(&self) -> CongruenceDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CongruenceDomain

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

Formats the value using the given formatter.

impl PartialEq for CongruenceDomain

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

impl Eq for CongruenceDomain

impl StructuralPartialEq for CongruenceDomain