% Common macros for this thesis
% Based on LaTeXmacros/common.tex

\newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}} % Cforall symbolic name
\newcommand{\CFA}{\protect\CFAIcon}	% safe for section/caption
\newcommand{\CFL}{\textrm{Cforall}} % Cforall symbolic name
\newcommand{\CFACC}{\texttt{cfa-cc}} % Cforall compiler
\newcommand{\Celeven}{\textrm{C11}} % C11 symbolic name
\newcommand{\CC}{\textrm{C}\kern-.1em\hbox{+\kern-.25em+}} % C++ symbolic name
\newcommand{\CCeleven}{\textrm{C}\kern-.1em\hbox{+\kern-.25em+}11} % C++11 symbolic name
\newcommand{\CCfourteen}{\textrm{C}\kern-.1em\hbox{+\kern-.25em+}14} % C++14 symbolic name
\newcommand{\CCseventeen}{\textrm{C}\kern-.1em\hbox{+\kern-.25em+}17} % C++17 symbolic name
\newcommand{\CCtwenty}{\textrm{C}\kern-.1em\hbox{+\kern-.25em+}20} % C++20 symbolic name
\newcommand{\CCV}{\rm C\kern-.1em\hbox{+\kern-.25em+}obj} % C++ virtual symbolic name
\newcommand{\Csharp}{C\raisebox{-0.7ex}{\Large$^\sharp$}} % C# symbolic name

\newcommand{\ie}{\textit{i.e.}\@}
\newcommand{\eg}{\textit{e.g.}\@}
\newcommand{\etc}{\textit{etc.}\@}
\newcommand{\etal}{\textit{et~al.}\@}
\newcommand{\vs}{\textit{vs.}\@}

\newcommand{\myset}[1]{\left\{#1\right\}}

\newcommand{\TODO}[1]{\textbf{TODO:} \textit{#1}}
\newcommand{\cit}{\textsuperscript{[citation needed]}}