macros.tex

\newcommand{\hide}[1]{}

\newcommand{\valueof}[1]{[\![{#1}]\!]}

\newcommand{\bbfR}{\mathbb{R}}
\newcommand{\bbfS}{\mathbb{S}}
\newcommand{\bbfD}{\mathbb{D}}
\newcommand{\bbfRU}{\mathbb{R}^{[0, 1]}}
\newcommand{\calM}{\mathcal{M}}
\newcommand{\od}{\overline{\mathbf{d}}}
\newcommand{\oD}{\overline{\mathbf{D}}}
\newcommand{\Act}{\Sigma}
\newcommand{\Obs}{\Omega}
\newcommand{\obs}{\omega}
\newcommand{\Info}{\Theta}
\newcommand{\info}{\theta}
\newcommand{\sch}[1]{\mathfrak{#1}}

\newcommand{\AP}{\mathit{AP}}
\newcommand{\X}{\mathsf{X}\xspace}
\newcommand{\F}{\mathsf{F}\xspace}
\newcommand{\G}{\mathsf{G}\xspace}
\newcommand{\until}{\mathbin{\mathsf{U}}}
\newcommand{\PCTL}{\textsf{PCTL}\xspace}
\newcommand{\PJ}[1]{\mathbb{P}_{#1}}
\newcommand{\scheduler}[1]{\mathfrak{#1}}
\newcommand{\myPr}[3]{{\Pr}^{#2}({#1}, {#3})}
\newcommand{\dpriv}[2]{\mathcal{D}_{{#1}, {#2}}}
\newcommand{\myE}[3]{\mathbb{E}_{#1}({#2}, {#3})}
\newcommand{\zpython}{\textsc{Z3Python}\xspace}

\algnewcommand\algorithmicmatch{\textbf{match}}
\algnewcommand\algorithmicwith{\textbf{with}}
\algnewcommand\algorithmiccase{\textbf{case}}
% New "environments"
\algdef{SE}[MATCH]{Match}{EndMatch}[1]{\algorithmicmatch\ {#1}\ \algorithmicwith}{\algorithmicend\ \algorithmicmatch}%
\algdef{SE}[CASE]{Case}{EndCase}[1]{\algorithmiccase\ {#1}:}{\algorithmicend\ \algorithmiccase}%
\algtext*{EndMatch}%
\algtext*{EndCase}%
\algnewcommand{\IfThenElse}[3]{% \IfThenElse{<if>}{<then>}{<else>}
  \State \algorithmicif\ #1\ \algorithmicthen\ #2\ \algorithmicelse\ #3}
\newcommand{\lCase}[2]{\State \textbf{case} {#1}{:} {#2}}