From 9f1c88b863e247da3cd60d2792a7a13b18e25e53 Mon Sep 17 00:00:00 2001
From: JSDurand <mmemmew@gmail.com>
Date: Wed, 14 Dec 2022 23:48:22 +0800
Subject: a temporary check point

just to save things in a commit
---
 nfa/src/default/mod.rs | 121 ++-----------------------------------------------
 1 file changed, 4 insertions(+), 117 deletions(-)

(limited to 'nfa/src/default/mod.rs')

diff --git a/nfa/src/default/mod.rs b/nfa/src/default/mod.rs
index 805540b..b9ee398 100644
--- a/nfa/src/default/mod.rs
+++ b/nfa/src/default/mod.rs
@@ -1,123 +1,10 @@
 //! This file provides a structure that implements the trait
-//! [`NFA`][super::Nfa].
-//!
-//! It is used as the default implementation.
+//! [`NFA`][super::Nfa] and another that umplements the trait
+//! [`Regex`][super::Regex].
 
-use graph::{error::Error as GError, DLGraph, Graph, GraphLabel, LabelGraph};
+pub mod nfa;
 
-use super::{error::Error, Nfa, Regex};
-
-// TODO: Store the regular expression in the NFA as well.
-//
-// The current focus of the project is to understand the growth rate
-// of the algorithm, to know whether I made a mistake in the previous
-// iteration of the implementation, or the algorithm is not as fast as
-// the author estimated, which is not quite likely, of course.
-//
-// Thus I shall establish a friendly interface that allows me to view
-// and debug the atomic languages and the languages, transparently.
-
-#[non_exhaustive]
-#[derive(Debug)]
-/// Default NFA implementation.
-pub struct DefaultNFA<T: GraphLabel> {
-    graph: DLGraph<T>,
-}
-
-impl<T: GraphLabel> Default for DefaultNFA<T> {
-    fn default() -> Self {
-        let graph = Default::default();
-        Self { graph }
-    }
-}
-
-impl<T: GraphLabel> Graph for DefaultNFA<T> {
-    type Iter<'a> = <DLGraph<T> as Graph>::Iter<'a> where T: 'a;
-
-    #[inline]
-    fn is_empty(&self) -> bool {
-        self.graph.is_empty()
-    }
-
-    #[inline]
-    fn nodes_len(&self) -> usize {
-        self.graph.nodes_len()
-    }
-
-    #[inline]
-    fn children_of(&self, node_id: usize) -> Result<Self::Iter<'_>, GError> {
-        self.graph.children_of(node_id)
-    }
-
-    #[inline]
-    fn degree(&self, node_id: usize) -> Result<usize, GError> {
-        self.graph.degree(node_id)
-    }
-
-    #[inline]
-    fn is_empty_node(&self, node_id: usize) -> Result<bool, GError> {
-        self.graph.is_empty_node(node_id)
-    }
-
-    #[inline]
-    fn has_edge(&self, source: usize, target: usize) -> Result<bool, GError> {
-        self.graph.has_edge(source, target)
-    }
-}
-
-impl<T: GraphLabel> LabelGraph<T> for DefaultNFA<T> {
-    type Iter<'a> = <DLGraph<T> as LabelGraph<T>>::Iter<'a> where T: 'a;
-
-    type LabelIter<'a> = <DLGraph<T> as LabelGraph<T>>::LabelIter<'a> where T: 'a;
-
-    // TODO: Return the label from the contained regular language.
-    #[inline]
-    fn vertex_label(&self, node_id: usize) -> Result<Option<T>, GError> {
-        if self.has_node(node_id) {
-            todo!()
-        } else {
-            Err(GError::IndexOutOfBounds(node_id, self.nodes_len()))
-        }
-    }
-
-    #[inline]
-    fn edge_label(&self, source: usize, target: usize) -> Result<Vec<T>, GError> {
-        self.graph.edge_label(source, target)
-    }
-
-    #[inline]
-    fn find_children_with_label(
-        &self,
-        node_id: usize,
-        label: &T,
-    ) -> Result<<Self as LabelGraph<T>>::Iter<'_>, GError> {
-        self.graph.find_children_with_label(node_id, label)
-    }
-
-    #[inline]
-    fn labels_of(&self, node_id: usize) -> Result<Self::LabelIter<'_>, GError> {
-        self.graph.labels_of(node_id)
-    }
-}
-
-impl<T: GraphLabel> Nfa<T> for DefaultNFA<T> {
-    #[allow(unused)]
-    fn to_nfa(regex: impl Regex<T>) -> Self {
-        todo!()
-    }
-
-    fn remove_epsilon(&mut self) -> Result<(), Error> {
-        todo!()
-    }
-
-    fn remove_dead(&mut self) -> Result<(), Error> {
-        todo!()
-    }
-
-    fn nulling(&mut self) -> Result<(), Error> {
-        todo!()
-    }
-}
+pub mod regex;
 
 #[cfg(test)]
 mod default_nfa_test {}
-- 
cgit v1.2.3-18-g5258