Struct RunSelect 

pub struct RunSelect {
    pub k: (u64, u64),
    pub n: (u64, u64),
    pub contiguous: Option<bool>,
    pub carried: Option<bool>,
    pub launches: Vec<(KernelId, Times)>,
    pub copies: Option<Times>,
}

2026-09-30: One [[rule.run]] selector: the runs it serves and what it launches for one.

Fields

k: (u64, u64)

2026-09-30: Inclusive k range.

n: (u64, u64)

2026-09-30: Inclusive sequence-count range.

contiguous: Option<bool>

2026-09-30: The contiguity it serves; None for either.

carried: Option<bool>

2026-09-30: Whether the verify carries; None for either.

launches: Vec<(KernelId, Times)>

2026-09-30: Kernel launches, in the order the emitter makes them.

copies: Option<Times>

2026-09-30: Copy-engine transfers besides them, and how often.

Implementations

impl RunSelect

pub fn serves(&self, run: VerifyRun, carried: bool) -> bool

2026-09-30: Whether this selector serves run of a verify that carries or not.

Trait Implementations

impl Clone for RunSelect

fn clone(&self) -> RunSelect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RunSelect

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

Formats the value using the given formatter.

impl PartialEq for RunSelect

fn eq(&self, other: &RunSelect) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for RunSelect

impl StructuralPartialEq for RunSelect