fix a few bugs in THEORY

[topbloke.git] / THEORY

diff --git a/THEORY b/THEORY
index 83de604ddb4334a11ff566b40f35dcb8f9789475..13c20af1cf6e2c98d8e696761cbb3cf7419371c0 100644 (file)
--- a/THEORY
+++ b/THEORY
@@ -1,13 +1,14 @@
 GENERAL
 
  C >= D                        C is descendant of D, partial order
- C \haspatch D         C contains changes from D, partial order
+ D \isin C             C contains changes from D, partial order
  Patch P has two sets P+, P-
- Ancestors A(C,P) = { Ca \elem C | Ca \elem P }
- Ends E(C,P) = maximal elements of A(C,P)
+ Ancestors A(C,P) = { Ca \elem P | Ca <= C }
+ Ends E(C,P) = <=-maximal elements of A(C,P)
  Patch inclusion
    C \haspatch P    <=> [ \forall D \elem P+: D \isin C <=> D <= C ]
    C \nothaspatch P <=> [ \forall D \elem P+: D \notisin C ]
+   and we maintain C \haspatch P v C \nothaspatch P
 
 COMMIT ANNOTATIONS