Struct TransitionLayout

Source
pub struct TransitionLayout {
    lookup_tables: HashMap<StateID, LookupTable>,
}
Expand description

This struct contains the layout for the lookup tables used by the TransitionFunctions.

Each transition function may have a differently shaped lookup table.

  • For [Transition]s, there is no lookup table and we just embed the start and end directly into the function.
  • For [SparseTransitions]s, the table is represented as 2 arrays. The first array the start end tuples from the [Transition]s. The second array contains the [StateID]s arranged to match the same order as the tuples.
  • For [DenseTransitions], it will be an array of length 256 containing [StateID]s.

Fields§

§lookup_tables: HashMap<StateID, LookupTable>

Implementations§

Source§

impl TransitionLayout

Source

pub fn new( ctx: &mut CompileContext, overall: Layout, ) -> Result<(Layout, Self), LayoutError>

Creates a new TransitionLayout by calculating the memory offsets for transition lookup tables.

Source

fn get(&self, sid: StateID) -> Option<LookupTable>

Trait Implementations§

Source§

impl Debug for TransitionLayout

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.