Struct Assignment

pub struct Assignment<T> {
    pub dst: RRC<Port>,
    pub src: RRC<Port>,
    pub guard: Box<Guard<T>>,
    pub attributes: Attributes,
}

Represents a guarded assignment in the program

Fields

dst: RRC<Port>

The destination for the assignment.

src: RRC<Port>

The source for the assignment.

guard: Box<Guard<T>>

The guard for this assignment.

attributes: Attributes

Attributes for this assignment.

Implementations

impl<T> Assignment<T>

pub fn new(dst: RRC<Port>, src: RRC<Port>) -> Self

Build a new unguarded assignment

pub fn for_each_port<F>(&mut self, f: F)

where F: FnMut(&RRC<Port>) -> Option<RRC<Port>>,

Apply function f to each port contained within the assignment and replace the port with the generated value if not None.

pub fn iter_ports(&self) -> impl Iterator<Item = RRC<Port>>

Iterate through all ports contained within the assignment.

impl<StaticTiming> Assignment<StaticTiming>

pub fn for_each_interval<F>(&mut self, f: F)

where F: FnMut(&mut StaticTiming) -> Option<Guard<StaticTiming>>,

Apply function f to each port contained within the assignment and replace the port with the generated value if not None.

Trait Implementations

impl<T: Clone> Clone for Assignment<T>

fn clone(&self) -> Assignment<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Assignment<T>

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

Formats the value using the given formatter.

impl From<Assignment<Nothing>> for Assignment<StaticTiming>

fn from(assgn: Assignment<Nothing>) -> Assignment<StaticTiming>

Turns a normal assignment into a static assignment