From fbaa420ed550e9c3e7cdc09d4a8ec22bfbd782a6 Mon Sep 17 00:00:00 2001 From: JSDurand Date: Mon, 27 Feb 2023 12:36:41 +0800 Subject: before a major refactor I decide to adopt a new approach of recording and updating item derivation forests. Since this affects a lot of things, I decide to commit before the refactor, so that I can create a branch for that refactor. --- semiring/src/lib.rs | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) (limited to 'semiring/src/lib.rs') diff --git a/semiring/src/lib.rs b/semiring/src/lib.rs index 9d096db..6c0e0d5 100644 --- a/semiring/src/lib.rs +++ b/semiring/src/lib.rs @@ -15,6 +15,8 @@ //! description. Specifically, it will produce items as it parses the //! input string. Then we can execute these items by any interpreter. +use grammar::Grammar; + /// A semiring is equipped with two operations: the addition and the /// multiplication. It also has additive and multiplicative /// identities. Also the two operations are supposed to be @@ -29,14 +31,20 @@ pub trait Semiring { fn one() -> Self; /// The addition. - fn add(&mut self, other: impl AsRef); + fn add(&mut self, other: &Self); /// The multiplication. - fn mul(&mut self, other: impl AsRef); + fn mul(&mut self, other: &Self); + + /// A valuation associates a semiring value from a rule position. + /// + /// Since a position is not complete without a grammar, we also + /// give it a grammar. + fn valuation(pos: usize, grammar: &Grammar) -> Self; } -// TODO: Implement boolean semiring -// TODO: Implement counting semiring +pub mod counting; + // TODO: Implement derivation forest semiring #[cfg(test)] -- cgit v1.2.3-18-g5258