pub struct UncheckedActiveExecutor<E, M: Model<E>> { /* private fields */ }Expand description
A wrapper for an execution context awaiting micro-step continuation validation.
This structure holds a “pending” context that has not yet been approved by
a ContinueStrategy. By wrapping the ActiveExecutorContext, it enforces
a pattern where the execution engine must explicitly call into_active_executor()
after validation, effectively confirming that the simulation state is authorized
to proceed to the next step.
Implementations§
Source§impl<E, M: Model<E>> UncheckedActiveExecutor<E, M>
impl<E, M: Model<E>> UncheckedActiveExecutor<E, M>
Sourcepub fn current_tick(&self) -> SimTime
pub fn current_tick(&self) -> SimTime
Returns the current simulation time.
Sourcepub fn current_micro_step(&self) -> MicroStep
pub fn current_micro_step(&self) -> MicroStep
Returns the current micro-step index.
Sourcepub fn into_active_executor(self) -> ActiveExecutorContext<E, M>
pub fn into_active_executor(self) -> ActiveExecutorContext<E, M>
Consumes this wrapper and returns the validated ActiveExecutorContext.
This method is intended to be called only after a strategy has verified that it is safe to continue the simulation.
Auto Trait Implementations§
impl<E, M> Freeze for UncheckedActiveExecutor<E, M>
impl<E, M> !RefUnwindSafe for UncheckedActiveExecutor<E, M>
impl<E, M> !Send for UncheckedActiveExecutor<E, M>
impl<E, M> !Sync for UncheckedActiveExecutor<E, M>
impl<E, M> Unpin for UncheckedActiveExecutor<E, M>where
E: Unpin,
impl<E, M> UnsafeUnpin for UncheckedActiveExecutor<E, M>
impl<E, M> !UnwindSafe for UncheckedActiveExecutor<E, M>
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> 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