Closed #2179

Include boolean Clock in clock-conversion list.

chapters/synchronous.tex

@@ -953,7 +953,7 @@ \subsection{Base-clock Partitioning}\doublelabel{base-clock-partitioning}
 \multicolumn{4}{p{15cm}}{\textbf{incidence}(e) = the \emph{unknown} variables, as well as
 variables x in \textbf{der}(x), \textbf{pre}(x), and \textbf{previous}(x),}\\
 &\multicolumn{3}{p{14cm}}{which lexically appear in e}\\
-&&\multicolumn{2}{p{13cm}}{except as first argument of base-clock conversion operators: sample() and hold().}
+&&\multicolumn{2}{p{13cm}}{except as first argument of base-clock conversion operators: sample() and hold() and Clock(condition,startInterval).}
 \end{tabular}
 
 The resulting set of connected components, is the partitioning of the
@@ -965,8 +965,8 @@ \subsection{Base-clock Partitioning}\doublelabel{base-clock-partitioning}
 \textbf{continuous-time partitions} according to the following
 properties:
 
-A variable u in \textbf{sample}(u) and a variable y in y =
-\textbf{hold}(ud) is in a continuous-time partition.
+A variable u in \lstinline!sample(u)!, a variable y in y =
+\lstinline!hold(ud)!, and a variable b in \lstinline!Clock(b, startInterval)! where b is of boolean type is in a continuous-time partition.
 
 Correspondingly, variables u and y in y = \textbf{sample}(uc), y =
 \textbf{subSample}(u), y = \textbf{superSample}(u), y =
@@ -1032,7 +1032,7 @@ \subsection{Sub-clock Partitioning}\doublelabel{sub-clock-partitioning}
 \textbf{previous}(x),}\\
 &\multicolumn{3}{p{14cm}}{which lexically appear in e}\\
 &&\multicolumn{2}{p{13cm}}{except as first argument of sub-clock conversion operators:}\\
-&&&\multicolumn{1}{p{12cm}}{subSample, superSample, shiftSample, backSample, and noClock.}
+&&&\multicolumn{1}{p{12cm}}{subSample, superSample, shiftSample, backSample, noClock, and Clock with first argument of boolean type.}
 \end{tabular}
 The resulting set of connected components, is the partitioning of the
 equations and variables, S\textsubscript{ij} =