pub enum NextStep {
Event {
tid: Tid,
label: Label,
},
Terminal {
blocked: Vec<Tid>,
},
}Expand description
What next_P(G) yields.
Variants§
Event
The next event to add for thread tid (the highest-priority addable thread).
Terminal
Nothing is addable. blocked lists the threads stuck on a blocking receive with
no message: empty means every thread is finished, so the execution is full;
non-empty means it is blocked.
Auto Trait Implementations§
impl !RefUnwindSafe for NextStep
impl !UnwindSafe for NextStep
impl Freeze for NextStep
impl Send for NextStep
impl Sync for NextStep
impl Unpin for NextStep
impl UnsafeUnpin for NextStep
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