Struct SimModule

Source

pub struct SimModule {Show 16 fields
    pub name: String,
    pub variables: FxHashMap<SourceVarId, SymbolicVariable>,
    pub ff_access_summaries: FxHashMap<TriggerSet<SourceVarId>, FfAccessSummary<SymbolicRegionedAddr>>,
    pub eval_only_ff_blocks: FxHashMap<TriggerSet<SourceVarId>, ExecutionUnit<SymbolicRegionedAddr>>,
    pub apply_ff_blocks: FxHashMap<TriggerSet<SourceVarId>, ExecutionUnit<SymbolicRegionedAddr>>,
    pub eval_apply_ff_blocks: FxHashMap<TriggerSet<SourceVarId>, ExecutionUnit<SymbolicRegionedAddr>>,
    pub glue_blocks: FxHashMap<String, Vec<SymbolicGlueBlock>>,
    pub indexed_instance_names: FxHashSet<String>,
    pub comb_blocks: Vec<LogicPath<SourceVarId>>,
    pub comb_observers: Vec<CombObserver<SourceVarId>>,
    pub runtime_errors: FxHashMap<i64, RuntimeErrorInfo<SourceVarId>>,
    pub runtime_event_sites: Vec<RuntimeEventSite>,
    pub initial_memory_values: Vec<InitialStateValue<SourceVarId>>,
    pub comb_boundaries: FxHashMap<SourceVarId, BTreeSet<usize>>,
    pub arena: SLTNodeArena<SourceVarId>,
    pub reset_clock_map: FxHashMap<SourceVarId, SourceVarId>,
}

Fields§

§name: String§variables: FxHashMap<SourceVarId, SymbolicVariable>§ff_access_summaries: FxHashMap<TriggerSet<SourceVarId>, FfAccessSummary<SymbolicRegionedAddr>>§eval_only_ff_blocks: FxHashMap<TriggerSet<SourceVarId>, ExecutionUnit<SymbolicRegionedAddr>>§apply_ff_blocks: FxHashMap<TriggerSet<SourceVarId>, ExecutionUnit<SymbolicRegionedAddr>>§eval_apply_ff_blocks: FxHashMap<TriggerSet<SourceVarId>, ExecutionUnit<SymbolicRegionedAddr>>§glue_blocks: FxHashMap<String, Vec<SymbolicGlueBlock>>§indexed_instance_names: FxHashSet<String>§comb_blocks: Vec<LogicPath<SourceVarId>>§comb_observers: Vec<CombObserver<SourceVarId>>§runtime_errors: FxHashMap<i64, RuntimeErrorInfo<SourceVarId>>§runtime_event_sites: Vec<RuntimeEventSite>§initial_memory_values: Vec<InitialStateValue<SourceVarId>>§comb_boundaries: FxHashMap<SourceVarId, BTreeSet<usize>>§arena: SLTNodeArena<SourceVarId>§reset_clock_map: FxHashMap<SourceVarId, SourceVarId>

SimModule

Struct SimModule Copy item path

Fields§

Trait Implementations§

impl Clone for SimModule

fn clone(&self) -> SimModule

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

impl Debug for SimModule

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

Auto Trait Implementations§

impl Freeze for SimModule

impl RefUnwindSafe for SimModule

impl Send for SimModule

impl Sync for SimModule

impl Unpin for SimModule

impl UnsafeUnpin for SimModule

impl UnwindSafe for SimModule

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

fn in_current_span(self) -> Instrumented<Self> ⓘ

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = !

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Struct SimModule

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,