chiark / gitweb /
strategy: new, wip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 May 2012 23:41:30 +0000 (00:41 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 May 2012 23:41:30 +0000 (00:41 +0100)
strategy.tex

index 7b977e5..c8a0bfe 100644 (file)
@@ -101,10 +101,12 @@ dependencies to use.  This allows the specification of any desired
 \begin{enumerate}
 \item Add $\pc$ to $\allpatches$ if it is not there already.
 \item Let $\set S_{\pcn} = h(\pcn)
-     \cup \{ \baseof{E} \; | \; \pendsof{ \left[
-         \bigcup_{\p \in \allpatches} h(\pn) \cup h(\py)
-         \right]
-       }{ \pcy } \} $
+     \cup 
+        \bigcup_{\p \in \allpatches}
+        \bigcup_{H \in h(\pn) \lor H \in h(\py)}
+         \{ \baseof{E} \; | \; E \in \pendsof{H}{\pcy} \} $.
+
+(We write $\set S = \set S_{\pcn}$ when it's not ambiguous.)
 \end{enumerate}
 
 \section{Planning phase}