game.sty

%%
%% game --- style file for game-based proofs
%%
%% Author: Alex J. Malozemoff < amaloz@cs.umd.edu >
%%

\def\filename{crypto/game}
\def\fileversion{v0.1}
\def\filedate{2015/02/25}
\def\fileauthor{Alex J. Malozemoff}

\NeedsTeXFormat{LaTeX2e}
\AtEndOfPackage{\ProvidesPackage{\filename}
  [\filedate\space\fileversion\space(\fileauthor)]}
\typeout{Package `\filename', \fileversion, <\filedate>}

\renewcommand{\gets}{:=}
\newcommand{\getsr}{{\:{\leftarrow{\hspace*{-3pt}\raisebox{.75pt}{$\scriptscriptstyle\$$}}}\:}}
\newcommand{\then}{;\;}
\newcommand{\andthen}{\colon\;}

\newcommand{\kwfont}{\textbf}
\newcommand{\constfont}[1]{{\textsf{#1}}}

\newcommand{\AND}{\mbox{\kwfont{and}}\xspace}
\newcommand{\NOT}{\mbox{\kwfont{not}}\xspace}
\newcommand{\AS}{\mbox{\kwfont{as}}\xspace}
\newcommand{\DO}{\mbox{\kwfont{do}}\xspace}
\newcommand{\IF}{\mbox{\kwfont{if}}\xspace}
\newcommand{\FI}{\mbox{\kwfont{fi}}\xspace}
\newcommand{\ELSE}{\mbox{\kwfont{else}}\xspace}
\newcommand{\ELSEIF}{\mbox{\kwfont{elseif}}\xspace}
\newcommand{\FOR}{\mbox{\kwfont{for}}\xspace}
\newcommand{\GAME}{\mbox{\kwfont{Game}}\xspace}
\newcommand{\INITIALIZE}{\mbox{\kwfont{Initialize}}\xspace}
\newcommand{\OD}{\mbox{\kwfont{od}}\xspace}
\newcommand{\OR}{\mbox{\kwfont{or}}\xspace}
\newcommand{\ORACLE}{\mbox{\kwfont{oracle}}\xspace}
\newcommand{\PARSE}{\mbox{\kwfont{parse}}\xspace}
\newcommand{\PROCEDURE}{\mbox{\kwfont{proc}}\xspace}
\newcommand{\PRIVATE}{\mbox{\kwfont{private}}\xspace}
\newcommand{\RETURN}{\mbox{\kwfont{return}}\xspace}
\newcommand{\SELECT}{\mbox{\kwfont{select}}\xspace}
\newcommand{\THEN}{\mbox{\kwfont{then}}\xspace}
\newcommand{\WHERE}{\mbox{\kwfont{where}}\xspace}
\newcommand{\TO}{\mbox{\kwfont{to}}\xspace}
\newcommand{\comment}[1]{~\mbox{\;\;\,/\hspace{-0.1ex}/\;\small\textrm{#1}}}
\newcommand{\concat}{\:\|\:}
\newcommand{\commentt}[1]{~\mbox{/\hspace{-0.1ex}/\;~\small\textrm{#1}}}

\newenvironment{code}[2]{
  \small
  \begin{center}
    \fbox{\parbox{#1\textwidth}{%
        \vspace{-13pt}
        \begin{tabular}{l}
          \hspace{-7pt}
          \parbox[t]{\textwidth}{%
          #2
          }
        \end{tabular}
        \vspace{-3ex}
      }
    }
}{%
  \end{center}
  \vspace{-3ex}
}

\newenvironment{codetwo}[3]{%
  \small
  \begin{center}
    \begin{tabular}{l}
      \fbox{\parbox[t]{#1\textwidth}{%
      #2
      }}
      \\
      \fbox{\parbox[t]{#1\textwidth}{%
      #3
      }}
}{%
    \end{tabular}
    \vspace{-3ex}
  \end{center}
}

\newenvironment{codethree}[4]{%
  \small
  \begin{center}
    \begin{tabular}{l}
      \fbox{\parbox[t]{#1\textwidth}{%
      #2
      }}
      \\
      \fbox{\parbox[t]{#1\textwidth}{%
      #3
      }}
      \\
      \fbox{\parbox[t]{#1\textwidth}{%
      #4
      }}
}{%
    \end{tabular}
    \vspace{-3ex}
  \end{center}
}