From 3a4642a8dcb19ea9a3c7490f9aaa7831c030d847 Mon Sep 17 00:00:00 2001 From: Robin Date: Sat, 7 Aug 2010 14:13:35 +0100 Subject: [PATCH] could not pull. Some differences iresolved in kompare --- symptom_ex_process/algorithm.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/symptom_ex_process/algorithm.tex b/symptom_ex_process/algorithm.tex index a4ec030..b8465c6 100644 --- a/symptom_ex_process/algorithm.tex +++ b/symptom_ex_process/algorithm.tex @@ -19,7 +19,7 @@ However, it can still be treated as a component with a known set of failure modes. \paragraph{Enumerating abstraction levels} We can assign an attribute of abstraction level to -components $\alpha$, where $\alpha$ is a natural number, ($\alpha \in \mathbb{N}$). +components $\alpha$, where $\alpha$ is a natural number, ($\alpha \in \mathbb{N}_0$). For a base component let the abstraction level be zero. If we apply the symptom abstraction process $\bowtie$ the resulting derived~component will have an $\alpha$ value