Struct TagStringAlgebra 

pub struct TagStringAlgebra { /* private fields */ }

Alto-compatible TAG string algebra.

Implementations

impl TagStringAlgebra

pub fn new() -> Self

Construct an algebra containing all reserved TAG operations.

pub fn with_signature(signature: Signature) -> Self

Construct an algebra over an existing target signature.

pub fn intern_word(&mut self, word: impl Into<String>) -> Symbol

Intern a nullary lexical symbol.

pub fn operation_symbol(&self, name: &str) -> Option<Symbol>

Resolve an operation or lexical symbol by name.

pub fn parse_string(&mut self, input: &str) -> TagStringValue<Symbol>

Parse whitespace-separated tokens as a contiguous string.

pub fn decompose( &self, value: TagStringValue<Symbol>, ) -> Option<TagStringDecompositionAutomaton>

Build a lazy decomposition for a contiguous input string.

Complete string-pair values are not parse inputs, matching Alto.

Trait Implementations

impl Algebra for TagStringAlgebra

type InternalValue = TagStringValue<Symbol>

Efficient internal value domain used by evaluate and decomposition.

type Value = TagStringValue<String>

Standalone public value produced for output by evaluate_term.

type ParseError = Infallible

Error returned when parsing a textual object representation.

fn signature(&self) -> &Signature

Return the operation signature used by this algebra.

fn evaluate( &self, symbol: Symbol, children: &[Self::InternalValue], ) -> Option<Self::InternalValue>

Evaluate an operation over child internal values.

fn parse_object( &mut self, input: &str, ) -> Result<Self::InternalValue, Self::ParseError>

Parse a textual representation into an internal value.

fn to_external(&self, value: &Self::InternalValue) -> Self::Value

Map an internal value to its standalone public form.

fn visualize(&self, value: &Self::Value) -> VisualRepresentation

Convert a public value into this algebra’s preferred GUI-neutral representation.

fn evaluate_term_internal( &self, arena: &TreeArena<Symbol>, root: Tree, ) -> Option<Self::InternalValue>

Evaluate a term tree bottom-up to an internal value, applying evaluate at every node (e.g. a homomorphic image produced from a derivation tree).

fn evaluate_term( &self, arena: &TreeArena<Symbol>, root: Tree, ) -> Option<Self::Value>

Evaluate a term tree to its public value (bottom-up evaluate, then to_external).

fn is_valid_value(&self, _value: &Self::InternalValue) -> bool

Return whether value is a valid internal value.

fn decompose_default( &self, value: Self::InternalValue, ) -> EvaluatingDecompositionAutomaton<'_, Self>

where Self: Sized,

Build the default evaluating decomposition automaton for value.

impl Clone for TagStringAlgebra

fn clone(&self) -> TagStringAlgebra

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TagStringAlgebra

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

Formats the value using the given formatter.

impl Default for TagStringAlgebra

fn default() -> Self

Returns the “default value” for a type.