Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>
  • Loading branch information
HansOlsson and henrikt-ma authored Jan 2, 2023
1 parent 1fa800d commit 15b656a
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions chapters/synchronous.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1101,15 +1101,15 @@ \section{Discretized Partition}\label{continuous-time-equations-in-clocked-parti
clocked partition.


\subsection{Clocked and Discretized Partition}\label{clocked-discrete-time-and-clocked-discretized-continuous-time-partition}\label{clocked-and-discretized-partition}
\subsection{Clocked and Discretized Partitions}\label{clocked-discrete-time-and-clocked-discretized-continuous-time-partition}\label{clocked-and-discretized-partition}

Additionally to the variability of expressions defined in \cref{variability-of-expressions}, an orthogonal concept \willintroduce{clocked variability} is defined in this section.
If not explicitly stated otherwise, an expression with a variability such as \emph{continuous-time} or \emph{discrete-time} means that the expression is inside a partition that is not associated to a clock.
If an expression is present in a partition that is not a continuous-time partition, it is a \firstuse[clocked!expression]{clocked expression}\index{expression!clocked} and has \firstuse[clocked!variability]{clocked variability}\index{expression variability!clocked}.

After sub-clock inferencing, see \cref{sub-clock-inferencing}, every partition that is associated to a clock has to be categorized as \willintroduce{clocked} or \willintroduce{discretized} partition.
After sub-clock inferencing, see \cref{sub-clock-inferencing}, every partition that is associated to a clock has to be categorized as a \willintroduce{clocked} or a \willintroduce{discretized} partition.
\begin{nonnormative}
Previously clocked partition was refered to as clocked discrete-time partition, and discretized partition as clocked discretized continuous-time partition.
Previously, clocked partition was refered to as \emph{clocked discrete-time partition}, and discretized partition as \emph{clocked discretized continuous-time partition}.
\end{nonnormative}

If a partition that is not continuous-time contains no operator \lstinline!der!, \lstinline!delay!, \lstinline!spatialDistribution!, no event related operators from \cref{event-related-operators-with-function-syntax} (with exception of \lstinline!noEvent! and \lstinline!smooth!), and no \lstinline!when!-clause with a \lstinline!Boolean! condition, it is a \firstuse[clocked!partition]{clocked}\index{partition!clocked} partition.
Expand Down

0 comments on commit 15b656a

Please sign in to comment.