Skip to content

Commit

Permalink
Remove superflous emphasis
Browse files Browse the repository at this point in the history
These words don't really seem to correspond to something deserving emphasis, and removing the emphasis makes the definition more readable.
  • Loading branch information
henrikt-ma committed Jul 1, 2020
1 parent a2b6ba6 commit 34f9b60
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions chapters/synchronous.tex
Expand Up @@ -200,8 +200,8 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl

\begin{definition}[Piecewise-constant variable]
(See \autoref{discrete-time-expressions}.) Variables $m(t)$ of base type \lstinline!Real!, \lstinline!Integer!, \lstinline!Boolean!, enumeration, and \lstinline!String! that are
\emph{constant} inside each interval $t_{i} \leq t < t_{i+1}$ (i.e., piecewise constant continuous-time variables). In other words, $m(t)$ \emph{changes}
value \emph{only at events}: $m(t) = m(t_{i})$, for $t_{i} \leq t < t_{i+1}$. Such variables depend continuously on time and they are discrete-time variables.
\emph{constant} inside each interval $t_{i} \leq t < t_{i+1}$ (i.e., piecewise constant continuous-time variables). In other words, $m(t)$ changes
value only at events: $m(t) = m(t_{i})$, for $t_{i} \leq t < t_{i+1}$. Such variables depend continuously on time and they are discrete-time variables.
See \autoref{fig:piecewise-constant-variable}.
\end{definition}

Expand Down

0 comments on commit 34f9b60

Please sign in to comment.