diff options
| -rw-r--r-- | tex/thesis/contribution/contribution.tex | 3 |
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}$} |