Struct PointsToSet 

pub struct PointsToSet { /* private fields */ }

Bounded points-to set: a small sorted vector of LocIds.

“Bounded” means the set silently collapses to {Top} on overflow; downstream consumers treat Top-containing sets as over-approximations exactly the same way AbsLoc::Top is treated at the singleton level.

Implementations

impl PointsToSet

pub fn empty() -> Self

Empty set, the value points to nothing tracked by the analysis (e.g. a scalar constant).

pub fn singleton(id: LocId) -> Self

Singleton set wrapping id.

pub fn top() -> Self

{Top}, the universal over-approximation.

pub fn is_top(&self) -> bool

True when the set contains LOC_TOP (i.e. has saturated to the over-approximation).

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn iter(&self) -> impl Iterator<Item = LocId> + '_

Iterate over members in sorted order.

pub fn contains(&self, id: LocId) -> bool

Whether id is one of the set members (or the set is Top).

pub fn insert(&mut self, id: LocId)

Insert id, maintaining sort/dedup. Saturates to {Top} when the set would exceed MAX_POINTSTO_MEMBERS.

pub fn union_in_place(&mut self, other: &PointsToSet) -> bool

Set-union, in place. Returns true when self changed , the constraint solver uses the bit to decide whether the containing equivalence class needs another pass.

Trait Implementations

impl Clone for PointsToSet

fn clone(&self) -> PointsToSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PointsToSet

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

Formats the value using the given formatter.

impl Default for PointsToSet

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for PointsToSet

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

impl StructuralPartialEq for PointsToSet