diff options
author | JSDurand <mmemmew@gmail.com> | 2023-02-12 12:07:34 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-02-12 12:07:34 +0800 |
commit | 987c84f3454c687cca0efe0d471fcf00e052ecab (patch) | |
tree | 04b9cf073a12adfb5d07ae308c3809e88cf4ebd2 /nfa | |
parent | 265ff8f87dc7392fdf701f811eb2bf54d7bc6678 (diff) |
Added the functionality of split or clone.
I need more than the ability to clone nodes: I also need to split the
nodes. Now this seems to be correctly added.
Diffstat (limited to 'nfa')
-rw-r--r-- | nfa/src/lib.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/nfa/src/lib.rs b/nfa/src/lib.rs index 4440ea6..07bbd5a 100644 --- a/nfa/src/lib.rs +++ b/nfa/src/lib.rs @@ -218,7 +218,6 @@ pub trait Nfa<T: GraphLabel>: LabelExtGraph<T> { where F: FnMut(T) -> bool, { - // self.closure(f, true, |two_edges| two_edges.second_edge().2) unimplemented!("deprecated") } @@ -310,7 +309,6 @@ pub trait Nfa<T: GraphLabel>: LabelExtGraph<T> { /// languages. #[inline] fn nulling(&mut self, _f: impl FnMut(T) -> bool) -> Result<(), Error> { - // self.closure(f, false, |two_edges| two_edges.second_edge().2) unimplemented!("deprecated") } |