chiark / gitweb /
strategy: traversal, Tip-Merge, from base, Tip Merge & Merge Acyclic
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 16 Jul 2012 04:56:28 +0000 (05:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 16 Jul 2012 04:56:28 +0000 (05:56 +0100)
traversal.tex

index b07cc9c..9ed7172 100644 (file)
@@ -226,6 +226,10 @@ R = \tipcn$ and $M = \baseof{W}$.
    so Base Covers Reachable indeed
    $\tipcn \ge \baseof{W}$.
   }
+  \condproof{Tip Merge}{ Trivial. }
+  \condproof{Merge Acyclic}{
+   By Base Acyclic, $\tipcn \nothaspatch \p$.
+  }
 
   TODO TBD