From 987c84f3454c687cca0efe0d471fcf00e052ecab Mon Sep 17 00:00:00 2001
From: JSDurand <mmemmew@gmail.com>
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<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")
     }
 
-- 
cgit v1.2.3-18-g5258