chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
create base: improve acyclic condition
[topbloke-formulae.git]
/
ranking.tex
diff --git
a/ranking.tex
b/ranking.tex
index e705a56c949fa1f9b6b28a3c7ce74bd73f5c3227..1dfb63a3d183031eb95989fa0d08c5c6e1898295 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.
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)
\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))$
$$
and $W \iassign w(h(\pcn))$
@@
-65,8
+64,6
@@
$$
}
$$
}
$$
-TODO define $\setmerge$
-
\item Finalise our putative direct dependencies
$
\Gamma \assign g(\pc, \Gamma)
\item Finalise our putative direct dependencies
$
\Gamma \assign g(\pc, \Gamma)