Enum NondetKind 

pub enum NondetKind {
    Select,
    AfterTimer,
    TryRecv,
    TrySend,
    StopTask,
    ConcurrentPrint,
}

The constructs that force nondeterminism — the determinate↔nondeterminate frontier.

Variants

Select

Await the first of: — nondeterministic choice over the ready branch set.

AfterTimer

After N seconds: — a timer event racing the other branches.

TryRecv

Try to receive x from ch. — outcome depends on instantaneous buffer occupancy.

TrySend

Try to send v into ch.

StopTask

Stop handle. — cancellation at the task’s next scheduling point.

ConcurrentPrint

Two or more concurrently-running threads (the main flow + spawned tasks + Concurrent/Parallel blocks) can each write to the shared output sink, so the interleaving of their Show lines is scheduling-dependent. This is the one nondeterminism source Kahn determinacy does NOT cover — stdout is a shared resource the channel-history argument never modelled.

Trait Implementations

impl Clone for NondetKind

fn clone(&self) -> NondetKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NondetKind

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

Formats the value using the given formatter.

impl Hash for NondetKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for NondetKind

fn eq(&self, other: &NondetKind) -> 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 Copy for NondetKind

impl Eq for NondetKind

impl StructuralPartialEq for NondetKind