Struct regex::dfa::State

struct State {
    data: Box<[u8]>,
}

State is a DFA state. It contains an ordered set of NFA states (not necessarily complete) and a smattering of flags.

The flags are packed into the first byte of data.

States don't carry their transitions. Instead, transitions are stored in a single row-major table.

Delta encoding is used to store the instruction pointers. The first instruction pointer is stored directly starting at data[1], and each following pointer is stored as an offset to the previous one. If a delta is in the range -127..127, it is packed into a single byte; Otherwise the byte 128 (-128 as an i8) is coded as a flag, followed by 4 bytes encoding the delta.

Fields

data: Box<[u8]>

Methods

impl State

fn flags(&self) -> StateFlags

Important traits for InstPtrs<'a>

impl<'a> Iterator for InstPtrs<'a> type Item = usize;

fn inst_ptrs(&self) -> InstPtrs

Trait Implementations

impl Clone for State

fn clone(&self) -> State

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for State

fn assert_receiver_is_total_eq(&self)

impl Hash for State

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,

Feeds a slice of this type into the given [Hasher].

impl PartialEq for State

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Debug for State

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

Formats the value using the given formatter.