Enum SequenceClass 

pub enum SequenceClass {
    Never,
    EmptyOnly,
    NonEmpty {
        also_empty: bool,
    },
}

What an automaton entry’s sequence is, for the static legality checks of 16.12.22.

Variants

Never

No match at all, empty or not: (1'b1) intersect (1'b1 ##1 1'b1).

EmptyOnly

Only the empty match: 1'b1[*0].

NonEmpty

At least one nonempty match; also_empty says whether the empty match is admitted too (a[*0:2]).

Fields

also_empty: bool

Trait Implementations

impl Clone for SequenceClass

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SequenceClass

impl Debug for SequenceClass

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

Formats the value using the given formatter.

impl Eq for SequenceClass

impl PartialEq for SequenceClass

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SequenceClass