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/default.rs | |
| 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/default.rs')
| -rw-r--r-- | chain/src/default.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/chain/src/default.rs b/chain/src/default.rs index 11f0c93..85e3c8f 100644 --- a/chain/src/default.rs +++ b/chain/src/default.rs @@ -8,9 +8,11 @@ use super::*; use crate::atom::{Atom, DefaultAtom}; use crate::item::{ - default::DefaultForest, generate_fragment, genins::index_out_of_bounds_conversion, Forest, - ForestLabel, ForestLabelError, + default::DefaultForest, generate_fragment, genins::index_out_of_bounds_conversion, }; + +use forest::{Forest, ForestLabel, ForestLabelError}; + use grammar::{GrammarLabel, GrammarLabelType, START_NONTERMINAL, TNT}; #[allow(unused_imports)] use graph::{ |