summaryrefslogtreecommitdiff
path: root/tex/thesis/contribution
diff options
context:
space:
mode:
Diffstat (limited to 'tex/thesis/contribution')
-rw-r--r--tex/thesis/contribution/contribution.tex3
1 files changed, 0 insertions, 3 deletions
diff --git a/tex/thesis/contribution/contribution.tex b/tex/thesis/contribution/contribution.tex
index 3d00b86..cc8d3ba 100644
--- a/tex/thesis/contribution/contribution.tex
+++ b/tex/thesis/contribution/contribution.tex
@@ -552,7 +552,6 @@ current strategy $\sigma$. This function, therefore, acts as a simple
intermediate layer between the fixpoint-iteration and the
$\max$-strategy iteration to allow for dependencies to be tracked.
-
\begin{algorithm}[H]
\begin{algorithmic}
\Function {invalidatestrategy} {$x \in X$} \Comment{$x$ is a
@@ -588,8 +587,6 @@ $\max$-expression. The invalidation for $\max$-expressions consists of
transitively invalidating everything which depends on the
$\max$-expression, as well as itself.
-
-
\begin{algorithm}[H]
\begin{algorithmic}
\Function {solvestrategy} {$x \in E_{\max}$}