Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 23)
+++ /reasoner/reasoner.tex	(revision 24)
@@ -10,4 +10,5 @@
 \newcommand\IVMLself[0]{\texttt{self}}
 \newcommand\IVMLMeta[1]{\texttt{\underline{#1}}}
+\newcommand\addSet[0]{\cup}
 \newcommand\addSeq[0]{\oplus}
 \newcommand\addSeqNoDupl[0]{\uplus}
@@ -93,7 +94,10 @@
 \newcommand\defaultAnnotationConstraints[0]{c_{ad}}
 \newcommand\compoundConstraints[0]{c_{c}}
-\newcommand\collectionCompoundConstraints[0]{c_{cc}}
+\newcommand\collectionCompoundConstraints[0]{c_{ccc}}
+\newcommand\collectionConstraints[0]{c_{cc}}
 \newcommand\compoundEvalConstraints[0]{c_{ce}}
 \newcommand\assignmentConstraints[0]{c_{ac}}
+\newcommand\assignedAttributeConstraints[0]{c_{aa}}
+\newcommand\unresolvedConstraints[0]{c_{u}}
 \newcommand\variableMapping[0]{vm}
 
@@ -106,4 +110,5 @@
   \item Constraints related to compound types and their slots $\compoundConstraints$.
   \item Constraints related to compound types used in collections $\collectionCompoundConstraints$.
+  \item TBD{check: $\assignedAttributeConstraints, \unresolvedConstraints$}
 \end{itemize}
 Further, the algorithm maintains a global variable mapping $\variableMapping$, a map of already processed variables to accessors so that later processed complex expressions can be substituted with the correct accessors.
@@ -115,5 +120,5 @@
 \begin{algorithm}[H]
   \SetAlgoLined
-  \KwIn{configuration $cfg$, boolean $incremental$ \TBD{inc?}}
+  \KwIn{configuration $cfg$, incremental $inc$}
   \KwData{problem records $m$, relevant constraints $t$ \TBD{$t$??}}
   \KwResult{Reasoning result $r$}
@@ -125,5 +130,5 @@
       %evaluator.setScopeAssignments(sAssng)\;
       $base \assng translateDefaults(p, cfg, t)$\;
-      $base \assng base \addSeq translateConstraints(p, t)$\;
+      $base \assng base \addSeq translateConstraints(p, t, inc)$\;
       $evaluateConstraints(p, base)$\;
       $freeze(p)$\;
@@ -463,4 +468,50 @@
 \section{Constraint translation}\label{sectConstraintTranslation}
 
+\TBD{Text}
+
+\begin{algorithm}[H]
+  \SetAlgoLined
+  \KwIn{project $p$, relevant constraints $t$ \TBD{??}, incremental $inc$}
+  \KwData{constraint $base$ \TBD{join, reorder, beautify}}
+
+   $c_s \assng \set{}$\;  
+   \If{$\neg incremental$} {
+       $\defaultConstraints \assng \defaultConstraints \addSeq \deferredDefaultConstraints$\;
+       $c_s \assng c_s \addSeq \TBD{transformContraints(\defaultConstraints, true)}$\;
+  }
+  $c_s \assng c_s \addSeq transformContraints(\derivedTypeConstraints, true)$\;
+  $c_s \assng c_s \addSeq \setWith{constraints(e)}{e\in evals(p)}$\;
+  $c_s \assng c_s \addSeq \compoundEvalConstraints$\;
+  $c_s \assng c_s \addSeq constraints(p)$\;
+  \If{$\neg incremental$} {
+    $c_s \assng c_s \addSeq \setWith{\TBD{translateAnnotationAssignments(a, \undef, \undef)}}{a\in assignments(p)}$\;
+  }
+  $c_s \assng c_s \addSeq \compoundConstraints \addSeq \constraintVariablesConstraints \addSeq \collectionCompoundConstraints$\;
+  \ForAll{$c \iterAssng c_s$} {
+      \TBD{retrieveCollectionConstraints(c)}\;
+  }
+  $c_s \assng c_s \addSeq \collectionConstraints$\;
+  \TBD{$fillVariableConstraintPool(c_s)$}\;
+  \If{$incremental$} {
+      $c_s \assng \TBD{validationConstraints(c_s)}$\;
+  }
+  $base \assng \addSeq c_s$\;
+  \If{$\neg inc$} {
+      $base \assng \addSeq \defaultAnnotationConstraints \addSeq \assignedAttributeConstraints$\;
+   }
+   $\defaultConstraints \assng \set{}$\;
+   $\deferredDefaultConstraints \assng \set{}$\;
+   $\derivedTypeConstraints \assng \set{}$\;
+   $\compoundConstraints \assng \set{}$\;
+   $\compoundEvalConstraints \assng \set{}$\;
+   $\constraintVariablesConstraints \assng \set{}$\;
+   $\collectionCompoundConstraints \assng \set{}$\;
+   $\collectionConstraints \assng \set{}$\;
+   $\defaultAnnotationConstraints \assng \set{}$\;
+   $\assignedAttributeConstraints \assng \set{}$\;
+   $\unresolvedConstraints \assng \set{}$\;
+
+ \caption{Translating constraints(\IVML{translateConstraints}).}\label{algTranslateConstraints}
+\end{algorithm}