Struct MopAAResult

pub struct MopAAResult {
    arg_size: usize,
    alias_set: HashSet<MopAAFact>,
}

Fields

arg_size: usize

alias_set: HashSet<MopAAFact>

Implementations

impl MopAAResult

pub fn new(arg_size: usize) -> MopAAResult

pub fn arg_size(&self) -> usize

pub fn aliases(&self) -> &HashSet<MopAAFact>

pub fn add_alias(&mut self, alias: MopAAFact)

pub fn len(&self) -> usize

pub fn sort_alias_index(&mut self)

Trait Implementations

impl Clone for MopAAResult

fn clone(&self) -> MopAAResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MopAAResult

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

Formats the value using the given formatter.

impl Display for MopAAResult

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

Formats the value using the given formatter.

impl Into<AAResult> for MopAAResult

fn into(self) -> AAResult

Converts this type into the (usually inferred) input type.