Skip to content

Separate sections for clock restrictions #3826

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
HansOlsson wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Separate sections for clock restrictions #3826

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
4bb77d7
Introduce heading
HansOlsson Feb 6, 2026
7dd4358
Split into two sub-sections to make it even easier.
HansOlsson Feb 6, 2026
4d6f70c
Apply suggestions from code review
HansOlsson Mar 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions chapters/synchronous.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -471,6 +471,8 @@ \section{Clock Constructors}\label{clock-constructors}
\end{semantics}
\end{operatordefinition*}

\subsection{Restrictions on Clocks in a Base-Partition}\label{restrictions-on-clocks-in-a-base-partition}

Besides inferred clocks and solver clocks, one of the following mutually exclusive associations of clocks are possible in one base-partition:
\begin{enumerate}
\item
Expand All @@ -495,6 +497,8 @@ \section{Clock Constructors}\label{clock-constructors}
\end{nonnormative}
\end{enumerate}

\subsection{Restrictions on Clock Variables}\label{restrictions-on-clock-variables}

Clock variables can be used in a restricted form of expressions.
Generally, every expression switching between clock variables must be an evaluable expression (in order that clock analysis can be performed when translating a model).
Thus subscripts on clock variables and conditions of if-then-else switching between clock variables must be evaluable expressions, and there are similar restrictions for sub-clock conversion operators \cref{sub-clock-conversion-operators}.
Expand Down