Struct ExplicitWithSignature 

pub struct ExplicitWithSignature {
    pub automaton: Explicit,
    pub states: Interner<String>,
    pub signature: Signature,
}

An explicit automaton together with the symbol signature and state names used by its source.

Alto’s .auto format writes rules top-down, for example S! -> f(A,A) [1.0]. This reader builds the equivalent bottom-up Explicit automaton, i.e. the rule above becomes f(A,A) -> S.

Fields

automaton: Explicit

Bottom-up explicit automaton built from the Alto rules.

states: Interner<String>

Mapping from Alto state names to dense state IDs.

signature: Signature

Mapping from Alto terminal symbols to symbol IDs.

Trait Implementations

impl Clone for ExplicitWithSignature

fn clone(&self) -> ExplicitWithSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplicitWithSignature

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

Formats the value using the given formatter.

impl InputCodec<ExplicitWithSignature> for AltoTreeAutomatonInputCodec

fn metadata(&self) -> &'static CodecMetadata

Return static codec metadata. This must not read or parse input.

fn read( &self, reader: &mut dyn Read, ) -> Result<ExplicitWithSignature, InputCodecError>

Decode a byte stream.

fn read_path(&self, path: &Path) -> Result<T, InputCodecError>

Decode a file. Codecs with path-relative semantics may override this method.

fn decode(&self, input: &str) -> Result<T, InputCodecError>

Decode UTF-8 text.

fn read_bytes(&self, input: &[u8]) -> Result<T, InputCodecError>

Decode an in-memory byte sequence.