Struct SequenceMatch 

pub struct SequenceMatch {
    pub condition: BoundedExpr,
    pub length: u32,
}

A single match endpoint for a sequence expression.

In IEEE 1800, sequences can have multiple possible match endpoints. For example, ##[1:3] ack has three possible match points (at offsets 1, 2, 3). Each match has a boolean condition (what must hold) and a length (cycles from start).

Used by translate_sequence() to compute proper sequence-level AND, OR, intersect, first_match, throughout, and within semantics.

Fields

condition: BoundedExpr

The boolean condition that must hold for this match to occur

length: u32

Number of cycles from the sequence start tick to the match endpoint

Trait Implementations

impl Clone for SequenceMatch

fn clone(&self) -> SequenceMatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SequenceMatch

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

Formats the value using the given formatter.