Struct AliasSet 

pub struct AliasSet {
    pub representative: Option<LcnfVarId>,
    pub members: HashSet<LcnfVarId>,
    pub has_heap: bool,
    pub has_stack: bool,
    pub has_global: bool,
}

A set of variable IDs that may alias each other.

All variables in an alias set may point to the same memory location.

Fields

representative: Option<LcnfVarId>

The representative (canonical) variable of this set.

members: HashSet<LcnfVarId>

All variables in this alias set.

has_heap: bool

Whether this set contains any heap-allocated variables.

has_stack: bool

Whether this set contains any stack-allocated variables.

has_global: bool

Whether this set contains any global variables.

Implementations

impl AliasSet

pub fn singleton(var: LcnfVarId) -> Self

Create a new singleton alias set.

pub fn new() -> Self

Create an empty alias set.

pub fn insert(&mut self, var: LcnfVarId)

Insert a variable into this alias set.

pub fn merge_with(&mut self, other: &AliasSet)

Merge another alias set into this one.

pub fn contains(&self, var: LcnfVarId) -> bool

Returns true if var is in this set.

pub fn len(&self) -> usize

Number of members.

pub fn is_empty(&self) -> bool

Returns true if no members.

Trait Implementations

impl Clone for AliasSet

fn clone(&self) -> AliasSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AliasSet

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

Formats the value using the given formatter.

impl Default for AliasSet

fn default() -> AliasSet

Returns the “default value” for a type.