From 987c84f3454c687cca0efe0d471fcf00e052ecab Mon Sep 17 00:00:00 2001 From: JSDurand Date: Sun, 12 Feb 2023 12:07:34 +0800 Subject: 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. --- nfa/src/lib.rs | 2 -- 1 file changed, 2 deletions(-) (limited to 'nfa') 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: LabelExtGraph { 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: LabelExtGraph { /// 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") } -- cgit v1.2.3-18-g5258