summaryrefslogtreecommitdiff
path: root/nfa/src/lib.rs
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2023-02-12 12:07:34 +0800
committerJSDurand <mmemmew@gmail.com>2023-02-12 12:07:34 +0800
commit987c84f3454c687cca0efe0d471fcf00e052ecab (patch)
tree04b9cf073a12adfb5d07ae308c3809e88cf4ebd2 /nfa/src/lib.rs
parent265ff8f87dc7392fdf701f811eb2bf54d7bc6678 (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/src/lib.rs')
-rw-r--r--nfa/src/lib.rs2
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")
}