Struct LocalAttempt 

pub struct LocalAttempt {
    pub admits_empty: bool,
    pub matches: BTreeSet<(u32, Frame)>,
}

What one attempt of an automaton produced when its local-variable frames are tracked (see attempt_with_locals).

Fields

admits_empty: bool

The automaton’s empty match, copied through as in Attempt.

matches: BTreeSet<(u32, Frame)>

Every nonempty match as (end tick, the matching thread's frame): one entry per distinct pair, since several threads may match on the same tick with different valuations (16.10 rule (c)).

Implementations

impl LocalAttempt

pub fn ends(&self) -> BTreeSet<u32>

The end ticks alone, the shape Attempt::ends has.

Trait Implementations

impl Clone for LocalAttempt

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocalAttempt

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

Formats the value using the given formatter.

impl Eq for LocalAttempt

impl PartialEq for LocalAttempt

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LocalAttempt