Enum ForceObservedAction 

pub enum ForceObservedAction {
    NoOp,
    FenceRegion(RegionId),
    FenceCrossRegionWrite,
}

The on_force_observed runtime-checked escape hatch (ARCHITECTURE §4/§9, netlist-analysis.md §G / DECISION_RECORD_CONFLICTS #1; ledger ST-121, ST-122, NL-106, NL-108, NL-110, DT-047, RT-159): force/release/vpi_put_value on a region-crossing net must call this so the engine can detect and fall back from an invalidated independence assumption instead of trusting a stale one. Not a static proof — a runtime-checked escape hatch, because any net is in general VPI-addressable regardless of what elaboration could prove.

Variants

NoOp

FenceRegion(RegionId)

FenceCrossRegionWrite

Trait Implementations

impl Clone for ForceObservedAction

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ForceObservedAction

impl Debug for ForceObservedAction

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

Formats the value using the given formatter.

impl Eq for ForceObservedAction

impl PartialEq for ForceObservedAction

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ForceObservedAction