diff options
author | JSDurand <mmemmew@gmail.com> | 2023-03-02 15:50:56 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-03-02 15:50:56 +0800 |
commit | 57d600f261cca5d9076239e548c6e00646f774b6 (patch) | |
tree | f6f6b97c1f2bc4c3d8d9c71e5529e5e9facac2a2 /chain/src/item/default/splone.rs | |
parent | b306fe88edcb3d7c7628e155f67fd7e1c8c29c19 (diff) |
extra reductions
Finished the function of performing extra reductions.
Still untested though.
Diffstat (limited to 'chain/src/item/default/splone.rs')
-rw-r--r-- | chain/src/item/default/splone.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/chain/src/item/default/splone.rs b/chain/src/item/default/splone.rs index 237b92a..4cd11b9 100644 --- a/chain/src/item/default/splone.rs +++ b/chain/src/item/default/splone.rs @@ -142,7 +142,6 @@ impl DefaultForest<ForestLabel<GrammarLabel>> { // replace the label directly - // if new_label.clone_index().is_none() { let mut builder = PLGBuilderMut::from_graph_mut(&mut self.graph); builder.set_label(node, new_label)?; @@ -176,27 +175,6 @@ impl DefaultForest<ForestLabel<GrammarLabel>> { builder.set_label(parent, parent_label)?; } - // } else { - // // REVIEW: Call `split_node` in this situation as well? - - // // If we are here, the new label should have a packed - // // parent. - // let packed = self - // .query_label(ForestLabel::new(new_label.label(), ForestLabelType::Packed)) - // .unwrap(); - - // let mut builder = PLGBuilderMut::from_graph_mut(&mut self.graph); - - // builder.set_label(node, new_label)?; - - // let parents: Vec<_> = builder.parents_of(node)?.collect(); - - // for parent in parents.iter() { - // builder.redirect(parent.node(), parent.edge(), packed)?; - // } - - // builder.add_edge(packed, node, new_label)?; - // } Ok(node) } |