Enum StaticSensitivity 

pub enum StaticSensitivity {
    Implicit {
        reads: Vec<SymbolKey>,
    },
    Explicit {
        edges: Vec<(SymbolKey, EdgeKind)>,
    },
    None,
}

(NL-037, NL-038 — Task 7 populates the None case only; Task 8 is where always_comb/always_latch get a real Implicit and always_ff/plain always @(...) get a real Explicit.) A process’s static wake condition.

Variants

Implicit

always_comb/always_latch (Task 8): the procedure’s own read-set, via the same ReadSetLattice/run_dataflow machinery assign statements use (Decision 1).

Fields

reads: Vec<SymbolKey>

Explicit

always_ff/plain always @(posedge/negedge ...) (Task 8): the explicit edge-sensitivity list.

Fields

edges: Vec<(SymbolKey, EdgeKind)>

None

initial/final (Task 7, NL-037): no sensitivity at all — these run once, at time zero / end-of-simulation, never re-triggered by a signal change. Also the placeholder Task 7 leaves on always/always_comb/always_latch/always_ff process kinds until Task 8 fills in their real Implicit/Explicit derivation (documented per call site — see build_processes).

Trait Implementations

impl Clone for StaticSensitivity

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StaticSensitivity

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

Formats the value using the given formatter.

impl Default for StaticSensitivity

fn default() -> Self

Returns the “default value” for a type.

impl Eq for StaticSensitivity

impl PartialEq for StaticSensitivity

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for StaticSensitivity