Struct PointsToSet 

pub struct PointsToSet {
    pub locations: HashSet<MemLocation>,
    pub may_alias_unknown: bool,
}

Points-to set (abstract)

Fields

locations: HashSet<MemLocation>

may_alias_unknown: bool

Implementations

impl PointsToSet

pub fn new() -> Self

pub fn top() -> Self

pub fn singleton(loc: MemLocation) -> Self

pub fn add(&mut self, loc: MemLocation)

pub fn union_with(&mut self, other: &PointsToSet)

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

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

pub fn is_empty(&self) -> bool

pub fn size(&self) -> usize

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() -> PointsToSet

Returns the “default value” for a type.