Struct StringAlgebra 

pub struct StringAlgebra { /* private fields */ }

Binary string algebra over token symbols.

Values are token-symbol vectors. The reserved concat operation appends two vectors; every other nullary symbol evaluates to the one-token string containing that symbol.

Implementations

impl StringAlgebra

pub fn new() -> Self

Create a string algebra with the reserved concat symbol.

pub fn with_signature(signature: Signature) -> Self

Create a string algebra from an existing operation signature.

pub fn concat_symbol(&self) -> Symbol

Return the concat operation symbol.

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

Intern a token symbol.

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

Parse a whitespace-separated string into token symbols.

pub fn decompose(&self, sentence: Vec<Symbol>) -> StringDecompositionAutomaton

Build the optimized lazy decomposition automaton for sentence.

Trait Implementations

impl Algebra for StringAlgebra

type InternalValue = Vec<Symbol>

Efficient internal value domain used by evaluate and decomposition.

type Value = Vec<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 StringAlgebra

fn clone(&self) -> StringAlgebra

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StringAlgebra

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

Formats the value using the given formatter.

impl Default for StringAlgebra

fn default() -> Self

Returns the “default value” for a type.