Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update shorthands from half-reification

Browse Source
This commit is contained in:
Jip J. Dekker 2021-03-03 15:26:11 +11:00
parent d0871d7451
commit a55350fde6
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
2 changed files with 62 additions and 68 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
assets/packages.tex
View File

@ -4,6 +4,7 @@
\usepackage[australian]{babel} \usepackage[australian]{babel}
\usepackage{hyperref} \usepackage{hyperref}
\hypersetup{bookmarksnumbered} \hypersetup{bookmarksnumbered}
\usepackage{xspace}
% Fonts % Fonts
\usepackage{fontspec} \usepackage{fontspec}
@ -97,62 +98,3 @@ outputdir=build,
% Proof Tree % Proof Tree
\usepackage[nounderscore]{syntax} \usepackage[nounderscore]{syntax}
\usepackage{bussproofs} \usepackage{bussproofs}
% Half-reification math things
% \DeclareMathOperator{\rules}{\mathit{rules}}
% \DeclareMathOperator{\lazy}{\mathit{lazy}}
% \DeclareMathOperator{\events}{\mathit{events}}
% \DeclareMathOperator{\domain}{\mathit{domain}}
% \DeclareMathOperator{\bc}{\mathit{bc}}
% \DeclareMathOperator{\lbc}{\mathit{lbc}}
% \DeclareMathOperator{\ubc}{\mathit{ubc}}
% \DeclareMathOperator{\dmc}{\mathit{dmc}}
% \DeclareMathOperator{\fix}{\mathit{fix}}
% \DeclareMathOperator{\event}{\mathit{event}}
% \DeclareMathOperator{\minassign}{\mathit{minassign}}
% \DeclareMathOperator{\assign}{\mathit{assign}}
% \DeclareMathOperator{\rep}{\mathit{rep}}
% \DeclareMathOperator{\cl}{\mathit{cl}}
% \DeclareMathOperator{\UP}{\mathit{UP}}
% \DeclareMathOperator{\up}{\mathit{up}}
% \DeclareMathOperator{\DOM}{\mathit{DOM}}
% \DeclareMathOperator{\false}{\mathit{false}}
% \DeclareMathOperator{\true}{\mathit{true}}
% \DeclareMathOperator{\lit}{\mathit{lit}}
% \DeclareMathOperator{\setb}{\mathit{sb}}
% \DeclareMathOperator{\bnd}{\mathit{bnd}}
% \DeclareMathOperator{\dsb}{\mathit{dsb}}
% \DeclareMathOperator{\vars}{\mathit{vars}}
% \DeclareMathOperator{\ivars}{\mathit{input}}
% \DeclareMathOperator{\ovars}{\mathit{output}}
% %\DeclareMathOperator{\supp}{supp}
% \DeclareMathOperator{\solns}{\mathit{solns}}
% \DeclareMathOperator{\solv}{\mathit{solv}}
% \DeclareMathOperator{\isolv}{\mathit{isolv}}
% \DeclareMathOperator{\conv}{\mathit{conv}}
% \DeclareMathOperator{\ran}{\mathit{ran}}
% \DeclareMathOperator{\ite}{\mathit{ite}}
% \DeclareMathOperator{\VAR}{\mathit{VAR}}
% \newcommand{\VV}{{\cal V}}
% \newcommand{\PP}{{\cal P}}
% \newcommand{\range}[2]{\left[\,#1\,..\,#2\,\right]}
% \newcommand{\gfp}{\textup{gfp}}
% \newcommand{\lfp}{\textup{lfp}}
% \newcommand{\iter}{\mathit{iter}}
% \newcommand{\half}{\Rightarrow}
% \newcommand{\full}{\Leftrightarrow}
% \renewcommand{\half}{\rightarrow}
% \renewcommand{\full}{\leftrightarrow}
% \newcommand{\cross}{\times}
% \renewcommand{\cross}{\baucross}
% \renewcommand{\cross}{\ding{54}}
% \newcommand{\entails}{\models}
% \newcommand{\bigsqcap}{\mathop{\lower.1ex\hbox{\Large$\sqcap$}}}
% \newcommand{\mdiv}{\texttt{div}}
% \newcommand{\element}{\texttt{element}}
% \newcommand{\alldiff}{\texttt{all\_different}}

70
assets/shorthands.tex
View File

@ -1,12 +1,12 @@
\newcommand{\eg}{e.g.,} \newcommand{\eg}{e.g.,\xspace{}}
\newcommand{\ie}{e.g.,} \newcommand{\ie}{e.g.,\xspace{}}
\newcommand{\flatzinc}{\gls{flatzinc}} \newcommand{\flatzinc}{\gls{flatzinc}\xspace{}}
\newcommand{\microzinc}{\gls{microzinc}} \newcommand{\microzinc}{\gls{microzinc}\xspace{}}
\newcommand{\minisearch}{\gls{minisearch}} \newcommand{\minisearch}{\gls{minisearch}\xspace{}}
\newcommand{\minizinc}{\gls{minizinc}} \newcommand{\minizinc}{\gls{minizinc}\xspace{}}
\newcommand{\nanozinc}{\gls{nanozinc}} \newcommand{\nanozinc}{\gls{nanozinc}\xspace{}}
\newcommand{\cml}{\gls{constraint-modelling} language} \newcommand{\cml}{\gls{constraint-modelling} language\xspace{}}
\newcommand{\cmls}{\gls{constraint-modelling} languages} \newcommand{\cmls}{\gls{constraint-modelling} languages\xspace{}}
\newcommand{\vari}{\mzninline{var}} \newcommand{\vari}{\mzninline{var}}
\newcommand{\pari}{\mzninline{par}} \newcommand{\pari}{\mzninline{par}}
@ -19,3 +19,55 @@
\newcommand{\Cbind}{\ensuremath{\wedge}} \newcommand{\Cbind}{\ensuremath{\wedge}}
\newcommand{\true}{\mzninline{true}} \newcommand{\true}{\mzninline{true}}
\newcommand{\false}{\mzninline{false}} \newcommand{\false}{\mzninline{false}}
\newcommand{\mdiv}{\mzninline{div}}
\newcommand{\element}{\mzninline{element}}
\newcommand{\alldiff}{\mzninline{all_different}}
% Half-reification math things
\newcommand{\VV}{{\cal V}}
\newcommand{\PP}{{\cal P}}
\newcommand{\range}[2]{\left[\,#1\,..\,#2\,\right]}
\newcommand{\gfp}{\textup{gfp}}
\newcommand{\lfp}{\textup{lfp}}
\newcommand{\iter}{\mathit{iter}}
\newcommand{\half}{\Rightarrow}
\newcommand{\full}{\Leftrightarrow}
\renewcommand{\half}{\rightarrow}
\renewcommand{\full}{\leftrightarrow}
\newcommand{\entails}{\models}
\newcommand{\bigsqcap}{\mathop{\lower.1ex\hbox{\Large$\sqcap$}}}
\DeclareMathOperator{\rules}{\mathit{rules}}
\DeclareMathOperator{\lazy}{\mathit{lazy}}
\DeclareMathOperator{\events}{\mathit{events}}
\DeclareMathOperator{\domain}{\mathit{domain}}
\DeclareMathOperator{\bc}{\mathit{bc}}
\DeclareMathOperator{\lbc}{\mathit{lbc}}
\DeclareMathOperator{\ubc}{\mathit{ubc}}
\DeclareMathOperator{\dmc}{\mathit{dmc}}
\DeclareMathOperator{\fix}{\mathit{fix}}
\DeclareMathOperator{\event}{\mathit{event}}
\DeclareMathOperator{\minassign}{\mathit{minassign}}
\DeclareMathOperator{\assign}{\mathit{assign}}
\DeclareMathOperator{\cl}{\mathit{cl}}
\DeclareMathOperator{\UP}{\mathit{UP}}
\DeclareMathOperator{\up}{\mathit{up}}
\DeclareMathOperator{\DOM}{\mathit{DOM}}
\DeclareMathOperator{\setb}{\mathit{sb}}
\DeclareMathOperator{\bnd}{\mathit{bnd}}
\DeclareMathOperator{\dsb}{\mathit{dsb}}
\DeclareMathOperator{\vars}{\mathit{vars}}
\DeclareMathOperator{\ivars}{\mathit{input}}
\DeclareMathOperator{\ovars}{\mathit{output}}
\DeclareMathOperator{\solns}{\mathit{solns}}
\DeclareMathOperator{\solv}{\mathit{solv}}
\DeclareMathOperator{\isolv}{\mathit{isolv}}
\DeclareMathOperator{\conv}{\mathit{conv}}
\DeclareMathOperator{\ran}{\mathit{ran}}
\DeclareMathOperator{\ite}{\mathit{ite}}
\DeclareMathOperator{\VAR}{\mathit{VAR}}