chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
fd9a235
)
strategy: calculate/use \allsrcs
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 9 Jun 2012 15:36:00 +0000
(16:36 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 9 Jun 2012 15:36:44 +0000
(16:36 +0100)
ranking.tex
patch
|
blob
|
history
diff --git
a/ranking.tex
b/ranking.tex
index e705a56c949fa1f9b6b28a3c7ce74bd73f5c3227..c5aa008dd9fe893607a6d58be207c6180b42b2ce 100644
(file)
--- 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))$