From 8671392af0a2e59f7570aa7c2c76e555d2779219 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Mon, 7 Sep 2020 20:30:00 +0200 Subject: [PATCH] Some \lstinline cleanup in definition of 'previous' --- chapters/synchronous.tex | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 10e45ef5d..fef158ffd 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -557,13 +557,11 @@ \section{Clocked State Variables}\label{clocked-state-variable} \begin{longtable}[]{|l|p{12cm}|} \hline \endhead -\lstinline!previous(u)! & The input argument is a \emph{component expression} (see -\cref{argument-restrictions-component-expression}) or a parameter expression. The return argument has the -same type as the input argument. Input and return arguments are on the -same clock. At the first tick of the clock of u or after a reset -transition (see \cref{reset-handling}), the start value of u is returned, see -\cref{initialization-of-clocked-partitions}. At subsequent activations of the clock of u, the value of -u from the previous clock activation is returned.\\ \hline +\lstinline!previous(u)! & +The input argument is a \emph{component expression} (see \cref{argument-restrictions-component-expression}) or a parameter expression. The return argument has the same type as the input argument. +Input and return arguments are on the same clock. At the first tick of the clock of \lstinline!u! or after a reset transition (see \cref{reset-handling}), the start value of \lstinline!u! is +returned, see \cref{initialization-of-clocked-partitions}. At subsequent activations of the clock of \lstinline!u!, the value of \lstinline!u! from the previous clock activation is returned.\\ +\hline \end{longtable} \section{Partitioning Operators}\label{partitioning-operators}