pub struct SimulationEngineConfig {
pub mode: SimulationMode,
pub initial_state: ValueWord,
pub max_events: usize,
pub track_state_history: bool,
}Expand description
Configuration for the simulation engine
Fields§
§mode: SimulationModeExecution mode
initial_state: ValueWordInitial state
max_events: usizeMaximum number of events to collect (0 = unlimited)
track_state_history: boolWhether to track state history
Implementations§
Source§impl SimulationEngineConfig
impl SimulationEngineConfig
pub fn new() -> Self
pub fn with_initial_state(self, state: ValueWord) -> Self
pub fn with_mode(self, mode: SimulationMode) -> Self
pub fn with_max_events(self, max: usize) -> Self
pub fn tracking_state_history(self) -> Self
Trait Implementations§
Source§impl Clone for SimulationEngineConfig
impl Clone for SimulationEngineConfig
Auto Trait Implementations§
impl Freeze for SimulationEngineConfig
impl RefUnwindSafe for SimulationEngineConfig
impl Send for SimulationEngineConfig
impl Sync for SimulationEngineConfig
impl Unpin for SimulationEngineConfig
impl UnsafeUnpin for SimulationEngineConfig
impl UnwindSafe for SimulationEngineConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more