Struct calyx_opt::analysis::ShareSet

pub struct ShareSet { /* private fields */ }

Stores a Hashset that contains the type names of all components and primitives marked with either “share” or “state_share”,depending on what the user wants. Methods implemented by this struct can be used to determine whether a given cell is shareable or not Used by live_range_analysis.rs, cell_share.rs, and infer_share.rs

Implementations

impl ShareSet

pub fn new(shareable: HashSet<Id>, is_state_share: bool) -> Self

pub fn from_context<const IS_STATE_SHARE: bool>(ctx: &Context) -> Self

Constructs a shareset from the context. Looks for “state_share” types if is_state_share is true, and “share” types otherwise.

pub fn add(&mut self, id: Id)

Adds id to self

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

Checks if id contains self

pub fn is_state_share(&self) -> bool

Returns whether or not this instance is state_share

pub fn is_shareable_component(&self, cell: &RRC<Cell>) -> bool

Given a set of shareable and a cell, determines whether cell’s type is shareable or not

Trait Implementations

impl Clone for ShareSet

fn clone(&self) -> ShareSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for ShareSet

fn default() -> ShareSet

Returns the “default value” for a type.