From 8f8d3d1a3c276be4be2e5d2e767ada564c47279a Mon Sep 17 00:00:00 2001
From: JSDurand <mmemmew@gmail.com>
Date: Fri, 13 Jan 2023 14:26:28 +0800
Subject: forest seems to be completed

I seem to have finished the implementation of forests.  Now it remains
the implementation of the chain-rule machine, of which I have a rough
plan now.
---
 graph/src/lib.rs | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'graph/src/lib.rs')

diff --git a/graph/src/lib.rs b/graph/src/lib.rs
index 6813df3..6af7889 100644
--- a/graph/src/lib.rs
+++ b/graph/src/lib.rs
@@ -23,6 +23,7 @@ pub use adlist::ALGraph;
 pub mod labelled;
 
 pub use labelled::DLGraph;
+pub use labelled::PLGraph;
 
 pub mod builder;
 
@@ -252,6 +253,23 @@ pub trait ParentsGraph: Graph {
     fn parents_of(&self, node_id: usize) -> Result<<Self as ParentsGraph>::Iter<'_>, Error>;
 }
 
+// TODO: Design a trait of graphs which can "replace" a certain child
+// by another child.  To re-direct children, so to speak.
+
+/// An /exended/ graph in the sense that it offers the ability to
+/// "redirect" children of a node to another node.
+pub trait RedirectGraph: Graph {
+    /// Replace the edge that points from `node_id` to the
+    /// `child_index`-th child by a new edge that points to
+    /// `new_child`.
+    fn redirect(
+        &mut self,
+        node_id: usize,
+        child_index: usize,
+        new_child: usize,
+    ) -> Result<(), Error>;
+}
+
 /// A labelled graph is just a graph with labels associated to
 /// vertices and / or edges.
 ///
-- 
cgit v1.2.3-18-g5258