Index: /reasoner/ivmlCompleteness.tex
===================================================================
--- /reasoner/ivmlCompleteness.tex	(revision 226)
+++ /reasoner/ivmlCompleteness.tex	(revision 227)
@@ -37,7 +37,7 @@
 \footnotetext{Similarly, test cases for ordered enums are in place, but not referenced explicitly in this document.}
 
-In some cases, we want to indicate that all test cases belonging to a certain IVML conccept/identifier cover a translation. We indicate this using the wildcard '*', e.g., * means just all test cases and A*1 means all (first) annotation-related tests.
-
-We present the argumentation in terms of four tables covering a certain set of IVML concepts, namely 1) top-level concepts and basic types in Table \ref{tab:completenessTopLevelTypes}, compound types in Table \ref{tab:completenessCompounds}, container types  in Table \ref{tab:completenessContainers}, and annotations in Table \ref{tab:completenessAnnotations}. Entries marked with '-' indicate that a part does not exist, either because it is not mentioned in the IVML specification or it shall not exist at all, e.g., annotations of annotations. An IVML concept marked by $\triangleright$ indicates that it belongs to the preceding concept, e.g., constraints in an assignment block. An entry 'no specific constraints' in the transformation path indicates that for the respective concept no constraints can be defined at all as explained in Section \ref{sectNotationOthers}. 
+In some cases, we want to indicate that all test cases belonging to a certain IVML concept/identifier cover a translation. We indicate this using the wildcard '*', e.g., * means just all test cases and A*1 means all (first) annotation-related tests.
+
+We present the argumentation in terms of four tables covering a certain set of IVML concepts, namely 1) top-level concepts and basic types in Table \ref{tab:completenessTopLevelTypes}, compound types in Table \ref{tab:completenessCompounds}, container types  in Table \ref{tab:completenessContainers}, and annotations in Table \ref{tab:completenessAnnotations}. Entries marked with '-' indicate that a part does not exist, either because it is not mentioned in the IVML specification or it shall not exist at all, e.g., annotations of annotations. An IVML concept marked by $\triangleright$ indicates that it belongs to the preceding concept, e.g., constraints in an assignment block. An entry 'no specific constraints' in the transformation path indicates that for the respective concept no constraints can be defined at all as explained in Section \ref{sectNotationOthers}. Algorithms are given in terms of their number and in parentheses the line addressing an IVML concept.
 
 Table \ref{tab:completenessTopLevelTypes} summarizes the translations for top-level concepts, changes of variables and basic types. Some variable change properties are common and occur in many test cases, such as variable re-assignments or handling variable changes by forward reasoning. Their validation is summarized here and applies similarly to all further concepts. Handing constraint variable changes depends on the context of the variable. In Table \ref{tab:completenessTopLevelTypes} we focus on top-level variables only.
@@ -55,5 +55,5 @@
 Decision variable & 2.1.4 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}  & \textit{*} \\
 
-Constraint & 2, 3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelConstraints} & B2, ...\\
+Constraint & 2, 3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelConstraints} & B*, not B1\\
 
 Constraint variable & 3.1.10 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLines{algTranslateDeclaration}{algTranslateDeclarationTranslateConstraintDefaultStart}{algTranslateDeclarationTranslateConstraintDefaultEnd} & Cs1, Cs2, CsCtCn1 \\
@@ -72,5 +72,5 @@
 Re-assignment  & 2.1.4, 3.1.4 & \tabAlgLine{algVarChange}{algVarChangeScope}, \tabAlgLines{algEvalLoop}{algEvalLoopClearScope}{algEvalLoopSetScope} & Sc1, Sc2, Sc3\\
 
-Variable change & - & \tabAlgLines{algVarChange}{algVarChangeRescheduleParents}{algVarChangeRescheduleNested} & B1, B2, \ldots \\
+Variable change & - & \tabAlgLines{algVarChange}{algVarChangeRescheduleParents}{algVarChangeRescheduleNested} & B* \\
 
 Constraint variable change & 3.1.10 & \tabAlgLine{algVarChange}{algVarChangeRescheduleConstraintVariables}\tabAlgFollow\tabAlgLines{algRescheduleValueChange}{algRescheduleValueChangeConsStart}{algRescheduleValueChangeConsEnd}\tabAlgFollow\tabAlg{algRescheduleConstraintValue} & Cs1, CsCtCn1 \\
@@ -159,5 +159,5 @@
 \end{tabular}
 %\end{adjustbox}
-\caption{Compound translations, starting with \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateCompound}\tabAlgFollow\tabAlg{algTranslateCompoundDeclaration} and \tabAlg{algRegisterCompoundMapping}.}
+\caption{Compound translations, starting at \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateCompound}\tabAlgFollow\tabAlg{algTranslateCompoundDeclaration} and \tabAlg{algRegisterCompoundMapping}.}
 \label{tab:completenessCompounds}
 \end{table*}
@@ -228,5 +228,5 @@
 \begin{tabular}{|p{2.5cm}|r||p{4cm}|p{1,5cm}|p{1,5cm}|}
 \hline
-\textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation Path} & \textbf{Test as annotation} & \textbf{Test anotate to}\\
+\textbf{IVML\newline concept} & \textbf{Spec} & \textbf{Transformation Path} & \textbf{Test as annotation} & \textbf{Test anotate to}\\
 \hline
  \multicolumn{5}{|c|}{Annotations}\\
@@ -261,5 +261,5 @@
 \hline
 \end{tabular}
-\caption{Translation of annotations starting with \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationAnnotationDefault}\tabAlgFollow\tabAlgLine{algTranslateAnnotationDeclarations}{algTranslateAnnotationDeclarationsTranslateDeclV} or \tabAlgLine{algTranslateAnnotationDeclarations}{algTranslateAnnotationDeclarationsTranslateDeclD}}
+\caption{Annotations, starting at \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationAnnotationDefault}\tabAlgFollow\tabAlgLine{algTranslateAnnotationDeclarations}{algTranslateAnnotationDeclarationsTranslateDeclV} or \tabAlgLine{algTranslateAnnotationDeclarations}{algTranslateAnnotationDeclarationsTranslateDeclD}}
 %\end{adjustbox}
 \label{tab:completenessAnnotations}