Struct ReadWriteSet

pub struct ReadWriteSet;

Calcuate the reads-from and writes-to set for a given set of assignments.

Implementations

impl ReadWriteSet

pub fn port_reads<T>( assign: &Assignment<T>, ) -> PortIterator<impl Iterator<Item = RRC<Port>>>

Returns ir::Port that are read from in the given Assignment.

impl ReadWriteSet

pub fn control_port_read_write_set_static( scon: &StaticControl, ) -> (Vec<RRC<Port>>, Vec<RRC<Port>>)

Returns the ports that are read and written, respectively, by the given static control program.

pub fn control_read_write_set_static( scon: &StaticControl, ) -> (Vec<RRC<Cell>>, Vec<RRC<Cell>>)

Returns the cells that are read and written, respectively, by the given static control program.

pub fn control_port_read_write_set<const INCLUDE_HOLE_ASSIGNS: bool>( con: &Control, ) -> (Vec<RRC<Port>>, Vec<RRC<Port>>)

Returns the ports that are read and written, respectively, by the given control program. INCLUDE_HOLE_ASSIGNS: in either case, we will ignore done holes. However, if INCLUDE_HOLE_ASSIGNS is false, we ignore all assignments that write to holes, even if the src of that assignment is a cell’s port.

pub fn control_read_write_set<const INCLUDE_HOLE_ASSIGNS: bool>( con: &Control, ) -> (Vec<RRC<Cell>>, Vec<RRC<Cell>>)

Returns the cells that are read and written, respectively, by the given control program. INCLUDE_HOLE_ASSIGNS: in either case, we will ignore done holes themselves. However, if INCLUDE_HOLE_ASSIGNS is true, we ignore all assignments that write to holes, even if the src of that assignment is a cell’s port.