Struct Session 

pub struct Session { /* private fields */ }

One generation sequence’s mutable state. Never shared between concurrent sequences. Opaque: callers never inspect which backend it wraps.

Implementations

impl Session

pub fn mask_vocab_size(&self) -> usize

This session’s vocabulary width.

pub fn mask_word_count(&self) -> usize

The u32 word count a Self::write_mask buffer must have.

pub fn eos_token_id(&self) -> TokenId

This session’s EOS token id.

pub fn mask_byte_count(&self) -> Result<usize, SessionError>

Returns the checked buffer length for Self::write_mask_le_bytes. Callers should use this instead of recomputing mask_word_count() * 4.

pub fn write_mask(&mut self, mask: &mut [u32]) -> Result<(), SessionError>

Fills mask (length must equal Self::mask_word_count) with the allowed-token bitmask; left zeroed on error. Thin zero-copy wrapper over Self::write_mask_le_bytes.

pub fn write_mask_le_bytes( &mut self, out: &mut [u8], ) -> Result<(), SessionError>

Fills out (length must equal Self::mask_byte_count) with the little-endian packed mask; left zeroed on error. Primary zero-extra-allocation path for both backends.

pub fn advance(&mut self, token: TokenId) -> Result<(), SessionError>

Consumes one token; EOS transitions to Stopped instead of reaching the matcher.

pub fn reset(&mut self) -> Result<(), SessionError>

Returns to Active at the initial state, discarding any generated prefix. Transactional: builds the replacement before committing, so a failed reset changes nothing.

pub fn is_accepting(&self) -> bool

Stopping now (committing EOS) would yield a complete, valid instance. Independent of Self::is_stopped: stays true after stopping too.

pub fn is_dead(&self) -> bool

The permanent dead sink has been reached: no token can ever be legal again. Independent of Self::is_stopped.

pub fn is_stopped(&self) -> bool

EOS has been committed; every advance raises until Self::reset.