From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 28 Jun 2020 01:28:14 +0000 (+0100)
Subject: wip new graphs?
X-Git-Tag: otter-0.2.0~1517
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=9e174c35e416af58a86d933c8791724321adc1b1;p=otter.git

wip new graphs?
---

diff --git a/NOTES b/NOTES
index 0a747d0f..1c40bf75 100644
--- a/NOTES
+++ b/NOTES
@@ -89,12 +89,49 @@ Overall system is a digraph with a single possible branch:
 
 We have a graph of updates that must be look like this, (possibly some
 of the branches are degenerate):
-
-    O===B0====*U--------B1******A
-          \              \
-           \              \
-            `--L----T0     `--T1
-
+ 		    	
+    O====X=========BA  	  
+          \                  	 
+           \                 	 
+            `--K----L 	     	 
+ 		     	     
+    O====X==========****B***A 
+          \                   	 
+           \                  	 
+            `--K----L  	      	 
+ 		       	      	 
+    O====X==========****B	 
+          \              \       
+           \              \      
+            `--K----L 	   `----T
+ 		       	      	 
+    O====X==========****B--B
+          \                 \       
+           \                 \      
+            `--K----L 	      `-T
+
+
+	       
+    O====X==========****B***A 
+          \                  	 
+           \                 	 
+            `--K----L 	     	 
+ 		    	
+    O====X=========A****B***A
+          \              	 
+           \             	 
+            `--K----L 	 	 
+ 			
+    O====X=========******R******A
+          \              	 
+           \             	 
+            `--K----L 	 	 
+ 			 	 
+    O====X=============A         
+          \             \      	 
+           \             \     	
+            `--K----L 	  `----T
+	       
 There is zero or one B1T1 and zero or more B0LT0 (all distinct).
 We write just B to mean B1, or the last B0.