Struct SignalMap 

pub struct SignalMap { /* private fields */ }

Maps FOL argument names (from English proper nouns) to SVA signal names.

When the English spec says “Req is valid”, LOGOS produces Valid(Req, w). The signal map translates Req → req so the bounded variable becomes req@t instead of Valid_Req_@t, matching the SVA side.

Implementations

impl SignalMap

pub fn new() -> Self

pub fn add(&mut self, fol_arg: &str, sva_signal: &str)

Add a mapping from FOL argument name to SVA signal name.

pub fn resolve(&self, fol_arg: &str) -> Option<&str>

Resolve a FOL argument name to its SVA signal name.

pub fn from_decls(decls: &[HwSignalDecl]) -> Self

Build a signal map from hardware signal declarations.

Trait Implementations

impl Clone for SignalMap

fn clone(&self) -> SignalMap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SignalMap

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

Formats the value using the given formatter.