Skip to content

Commit

Permalink
Fix additional issue in #2182
Browse files Browse the repository at this point in the history
  • Loading branch information
HansOlsson committed May 16, 2019
1 parent 79ca715 commit 2e2f517
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions chapters/synchronous.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1383,6 +1383,8 @@ \subsection{Inferencing of solverMethod}\doublelabel{inferencing-of-solvermethod
For each sub-clock partition we build a set corresponding to this sub-clock partition.
These sets are then merged as follows: for each set without a specified solverMethod we merge it
with sets connected to it (these may contain a solverMethod); and this is repeated until it is not possible to merge more sets.
The sets connected in this way should be part of the same base-clock partition and connected through a sub-clock conversion operator
(\lstinline!subSample!, \lstinline!superSample!, \lstinline!shiftSample! or \lstinline!backSample!).

\begin{itemize}
\item If this set contains multiple different values for \lstinline!solverMethod! it is an error.
Expand Down

0 comments on commit 2e2f517

Please sign in to comment.