pub struct KernelInvocation {
pub kernel_id: u64,
pub fixedvars: HashMap<String, i64>,
}Expand description
One concrete kernel invocation: a kernel id + its loop-resolved variable bindings.
The schedule is a flat list of these (eagerly unrolled at
create_pre_schedule time); each element is an atomic kernel CALL with
concrete bindings.
Fields§
§kernel_id: u64Kernel ID — looked up against the PreScheduleItem.kernel.id index.
fixedvars: HashMap<String, i64>Concrete var_name → value bindings produced by the surrounding loop
counters at the moment of this invocation.
Trait Implementations§
Source§impl Clone for KernelInvocation
impl Clone for KernelInvocation
Source§fn clone(&self) -> KernelInvocation
fn clone(&self) -> KernelInvocation
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for KernelInvocation
impl RefUnwindSafe for KernelInvocation
impl Send for KernelInvocation
impl Sync for KernelInvocation
impl Unpin for KernelInvocation
impl UnsafeUnpin for KernelInvocation
impl UnwindSafe for KernelInvocation
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