From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Aug 2013 17:21:13 +0000 (+0100)
Subject: strategy: define w (as w(P) rather than w(H)
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=f8b525275e017d1a5e77cb31b033d54a52e19e2c;p=topbloke-formulae.git

strategy: define w (as w(P) rather than w(H)
---

diff --git a/ranking.tex b/ranking.tex
index 1dfb63a..3d54660 100644
--- a/ranking.tex
+++ b/ranking.tex
@@ -27,7 +27,7 @@ $$
          \{ \baseof{E} \; | \; E \in \pendsof{\allsrcs}{\pcy} \}
 $$
 
-and $W \iassign w(h(\pcn))$
+and $W \iassign w(\pcn)$
 
 \item While $\exists_{S \in \set S} S \ge W$,
 update $W \assign S$ and $\set S \assign \set S \, \backslash \{ S \}$
diff --git a/strategy.tex b/strategy.tex
index e2017c3..2f676bb 100644
--- a/strategy.tex
+++ b/strategy.tex
@@ -84,6 +84,12 @@ all of its dependencies will be updated.
 \item[ $h : \pc^{+/-} \mapsto \set H^{\pc^{+/-}}$ ]
 Function for getting the existing heads $\set H$ of the branch $\pc^{+/-}$.
 
+\item[ $w : \pc^{+/-} \mapsto \set W_0^{\pc^{+/-}}$ ]
+
+Function for getting the existing local head of the branch
+$\pc^{+/-}$.  I.e., the current value of the branch ref for $\pc^{+/-}$.
+$W_0^{\pc^{+/-}} \in \set H$.
+
 \item[ $g : \pc, \Gamma \mapsto \Gamma'$ ]
 Function to allow explicit adjustment of the direct dependencies
 of $\pc$.  It is provided with a putative set of direct dependencies