From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 May 2012 18:04:31 +0000 (+0100)
Subject: strategy: wip traversal
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=69cd93eff7edaed3b2b42c89eee60fd819b2e01b;p=topbloke-formulae.git

strategy: wip traversal
---

diff --git a/strategy.tex b/strategy.tex
index ad8db15..48d93d7 100644
--- a/strategy.tex
+++ b/strategy.tex
@@ -211,8 +211,14 @@ and corresponding merge bases $M^{\pcn}_i = M_i$.
 
 \section{Traversal phase}
 
+For each patch $C \in \allpatches$ in topological order by $\hasdep$,
+lowest first:
 
+\begin{enumerate}
+
+\item Optionally, attempt $\alg{Merge-Base}(\pc)$.
 
+\end{enumerate}
 
 
 \section{Planning phase}