From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 9 Jun 2012 15:36:00 +0000 (+0100)
Subject: strategy: calculate/use \allsrcs
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=2621bc3962d0f9a3d12b2318aeb3f425fe6a28c7;ds=sidebyside

strategy: calculate/use \allsrcs
---

diff --git a/ranking.tex b/ranking.tex
index e705a56..c5aa008 100644
--- a/ranking.tex
+++ b/ranking.tex
@@ -18,14 +18,13 @@ $\alg{Rank-Recurse}(\pc)$ is:
 ranking iteration, do nothing.  Otherwise:
 
 \item Add $\pc$ to $\allpatches$ if it is not there already.
+If it was added, recalculate $\allsrcs$ accordingly.
 
 \item Set
 $$
   \set S \iassign h(\pcn)
-     \cup 
-        \bigcup_{\p \in \allpatches}
-        \bigcup_{H \in h(\pn) \lor H \in h(\py)}
-         \{ \baseof{E} \; | \; E \in \pendsof{H}{\pcy} \}
+     \cup
+         \{ \baseof{E} \; | \; E \in \pendsof{\allsrcs}{\pcy} \}
 $$
 
 and $W \iassign w(h(\pcn))$