diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-08-10 11:14:04 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-08-10 11:14:04 +0800 |
| commit | b8a2d05a3c0d835556d5ddbd44e4a1e201302af5 (patch) | |
| tree | 72e833f41b9a8ffd9d3e7216d2f158504343a420 /chain/src/atom | |
| parent | f14c8a2aeab18a9bfa380df28f94736580e08f48 (diff) | |
Move the trait `Forest` to the crate "forest".
The purpose of this change is to share this trait with other crates,
such as the forth-coming "semiring" crate that will be responsible for
handling some simple semiring operations as well as the querying, in
my plans.
Diffstat (limited to 'chain/src/atom')
| -rw-r--r-- | chain/src/atom/default.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/chain/src/atom/default.rs b/chain/src/atom/default.rs index fa0cc3b..df61b6f 100644 --- a/chain/src/atom/default.rs +++ b/chain/src/atom/default.rs @@ -18,7 +18,8 @@ use std::{ iter::Copied, }; -use crate::item::{default::DefaultForest, ForestLabel}; +use crate::item::default::DefaultForest; +use forest::ForestLabel; /// A virtual node represents the derivative of a non-terminal symbol /// `s` with respect to a terminal symbol `t`. |