From 3f5b093944b48c0f8b9ff898e51421d9a4f4a846 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Tue, 27 Jul 2021 14:47:42 +1000
Subject: [PATCH] Remove mention of flattener

---
 chapters/A2_benchmark.tex | 14 +++++++-------
 dekker_thesis.tex         | 14 +++++++-------
 2 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/chapters/A2_benchmark.tex b/chapters/A2_benchmark.tex
index d1c78fe..19b5ae0 100644
--- a/chapters/A2_benchmark.tex
+++ b/chapters/A2_benchmark.tex
@@ -23,7 +23,7 @@ Each part is published as a Git repository on GitHub.
 	\url{file://TODO}
 \end{center}
 
-This repository contains the flattening, recursive function, and the incremental flattening benchmarks. 
+This repository contains the \gls{rewriting} and recursive function benchmarks. 
 
 \paragraph{Half-Reification} The design for all the \gls{half-reif} experiments is located in:
 
@@ -46,15 +46,15 @@ This repository contains the benchmarks for both \gls{gecode} and \gls{chuffed}.
 \label{sec:bench-soft}
 
 Central to the experiments in this thesis are two kinds of programs: programs that rewrite a \constraint{} model into a \solver{} specification and the \solvers{} that given a specification search for \glspl{sol}.
-We generally test the rewriting programs, in particular the \minizinc{} flattener, but use the \solvers{} to evaluate the effect of changes to these rewriting programs.
+We generally test the rewriting programs, in particular to rewrite \minizinc{} \instances{} to \flatzinc{} , but use the \solvers{} to evaluate the effect of changes to these rewriting programs.
 
-\subsection{MiniZinc Flattener}
+\subsection{MiniZinc Rewriting}
 
-In this thesis we use three different versions of the \minizinc\ flattening tool:
+In this thesis we use three different programs to rewrite \minizinc{} to \flatzinc{}:
 
 \begin{itemize}
 
-	\item The officially released MiniZinc flattener (version 2.5.5) \autocite{minizinc-2021-minizinc}.
+	\item The officially release of MiniZinc (version 2.5.5) \autocite{minizinc-2021-minizinc}.
 		The source code for this version can be found here:
 		\begin{center}
 			\url{https://github.com/MiniZinc/libminizinc/tree/2.5.5}
@@ -66,7 +66,7 @@ In this thesis we use three different versions of the \minizinc\ flattening tool
 			\url{file://TODO}
 		\end{center}
 
-	\item The official MiniZinc flattener (version 2.5.5) \autocite{minizinc-2021-minizinc}, adjusted with the restart-based mechanisms.
+	\item The official MiniZinc release (version 2.5.5) \autocite{minizinc-2021-minizinc}, adjusted to support \gls{rbmo}.
 		The source code for this version can be found here:
 		\begin{center}
 			\url{https://github.com/Dekker1/libminizinc/tree/feature/on_restart}
@@ -169,7 +169,7 @@ A repository of all \minizinc{} models previously used in the challenges and acc
 	\url{https://github.com/minizinc/minizinc-benchmarks}
 \end{center}
 
-The flattening experiment presented in \cref{sec:rew-experiments} use a selection of seventeen models originating from the \minizinc{} challenge.
+The \gls{rewriting} experiment presented in \cref{sec:rew-experiments} use a selection of seventeen models originating from the \minizinc{} challenge.
 These models can identified using the following labels:
 
 \begin{multicols}{3}
diff --git a/dekker_thesis.tex b/dekker_thesis.tex
index e8b9aa8..2b8ed44 100644
--- a/dekker_thesis.tex
+++ b/dekker_thesis.tex
@@ -100,6 +100,13 @@ toc=bib,
 
 \chapter{Acknowledgements}
 
+\cleardoublepage
+\pdfbookmark{\contentsname}{Contents}
+\tableofcontents{}
+% \listoffigures{}
+% \listoftables{}
+% \listoflistings{}
+
 \defglsentryfmt[main]{\ifglsused{\glslabel}{\glsgenentryfmt}{\textit{\glsgenentryfmt}}}
 \glsresetall{}
 
@@ -126,11 +133,4 @@ toc=bib,
 \defglsentryfmt[main]{\textit{\glsgenentryfmt}}
 \printglossary[style=altlistgroup]{}
 
-\cleardoublepage
-\pdfbookmark{\contentsname}{Contents}
-\tableofcontents{}
-% \listoffigures{}
-% \listoftables{}
-% \listoflistings{}
-
 \end{document}