diff options
author | JSDurand <mmemmew@gmail.com> | 2023-01-28 10:17:24 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-01-28 10:22:57 +0800 |
commit | f28155105134b90fd86049c65478d307e0d8dbbc (patch) | |
tree | 72b3b4872d5dba89413eca70bcaae9e421def7ee /nfa/src/default/nfa.rs | |
parent | e8ea01319b3a9032a3f4f69f65e9ca96562b87b9 (diff) |
a prototype of an item derivation forest
It seems to be complete now, but still awaits more tests to see where
the errors are, which should be plenty, haha.
Diffstat (limited to 'nfa/src/default/nfa.rs')
-rw-r--r-- | nfa/src/default/nfa.rs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/nfa/src/default/nfa.rs b/nfa/src/default/nfa.rs index 8d657d5..6b1e56f 100644 --- a/nfa/src/default/nfa.rs +++ b/nfa/src/default/nfa.rs @@ -147,9 +147,11 @@ impl<T: GraphLabel + Display> Nfa<T> for DefaultNFA<T> { let mut builder: DLGBuilder<LabelType<T>> = Builder::with_capacity(nfa_len); - for _ in 0..nfa_len { - builder.add_vertex(); - } + builder.add_vertices(nfa_len); + + // for _ in 0..nfa_len { + // builder.add_vertex(); + // } let default = LabelType::new(DOption(default), total_regexps_len, false); |