augmented the ecoop paper to make it more like a 9m report. still continuing to update.
todo: will add the psuedocode for the simplification function and then briefly talk about its slowness.
%%+ −
%% This is file `lipics.cls',+ −
%% generated with the docstrip utility.+ −
%%+ −
%% The original source files were:+ −
%%+ −
%% lipics.dtx (with options: `class')+ −
%% + −
%% -----------------------------------------------------------------+ −
%% Author: le-tex publishing services+ −
%% + −
%% This file is part of the lipics package for preparing+ −
%% LIPICS articles.+ −
%% + −
%% Copyright (C) 2010 Schloss Dagstuhl+ −
%% -----------------------------------------------------------------+ −
\NeedsTeXFormat{LaTeX2e}[2005/12/01]+ −
\ProvidesClass{lipics}+ −
[2010/09/27 v1.1 LIPIcs articles]+ −
\emergencystretch1em+ −
\advance\hoffset-1in+ −
\advance\voffset-1in+ −
\advance\hoffset2.95mm+ −
\newif\if@nobotseplist \@nobotseplistfalse+ −
\def\@endparenv{%+ −
\addpenalty\@endparpenalty\if@nobotseplist\else\addvspace\@topsepadd\fi\@endpetrue}+ −
\def\@doendpe{%+ −
\@endpetrue+ −
\def\par{\@restorepar+ −
\everypar{}%+ −
\par+ −
\if@nobotseplist+ −
\addvspace\topsep+ −
\addvspace\partopsep+ −
\global\@nobotseplistfalse+ −
\fi+ −
\@endpefalse}%+ −
\everypar{{\setbox\z@\lastbox}%+ −
\everypar{}%+ −
\if@nobotseplist\global\@nobotseplistfalse\fi+ −
\@endpefalse}}+ −
\def\enumerate{%+ −
\ifnum \@enumdepth >\thr@@\@toodeep\else+ −
\advance\@enumdepth\@ne+ −
\edef\@enumctr{enum\romannumeral\the\@enumdepth}%+ −
\expandafter+ −
\list+ −
\csname label\@enumctr\endcsname+ −
{\advance\partopsep\topsep+ −
\topsep\z@\@plus\p@+ −
\ifnum\@listdepth=\@ne+ −
\labelsep0.72em+ −
\else+ −
\ifnum\@listdepth=\tw@+ −
\labelsep0.3em+ −
\else+ −
\labelsep0.5em+ −
\fi+ −
\fi+ −
\usecounter\@enumctr\def\makelabel##1{\hss\llap{##1}}}%+ −
\fi}+ −
\def\endenumerate{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}+ −
\def\itemize{%+ −
\ifnum \@itemdepth >\thr@@\@toodeep\else+ −
\advance\@itemdepth\@ne+ −
\edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%+ −
\expandafter+ −
\list+ −
\csname\@itemitem\endcsname+ −
{\advance\partopsep\topsep+ −
\topsep\z@\@plus\p@+ −
\ifnum\@listdepth=\@ne+ −
\labelsep0.83em+ −
\else+ −
\ifnum\@listdepth=\tw@+ −
\labelsep0.75em+ −
\else+ −
\labelsep0.5em+ −
\fi+ −
\fi+ −
\def\makelabel##1{\hss\llap{##1}}}%+ −
\fi}+ −
\def\enditemize{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}+ −
\def\@sect#1#2#3#4#5#6[#7]#8{%+ −
\ifnum #2>\c@secnumdepth+ −
\let\@svsec\@empty+ −
\else+ −
\refstepcounter{#1}%+ −
\protected@edef\@svsec{\@seccntformat{#1}\relax}%+ −
\fi+ −
\@tempskipa #5\relax+ −
\ifdim \@tempskipa>\z@+ −
\begingroup+ −
#6{%+ −
\@hangfrom{\hskip #3\relax+ −
\ifnum #2=1+ −
\colorbox[rgb]{0.99,0.78,0.07}{\kern0.15em\@svsec\kern0.15em}\quad+ −
\else+ −
\@svsec\quad+ −
\fi}%+ −
\interlinepenalty \@M #8\@@par}%+ −
\endgroup+ −
\csname #1mark\endcsname{#7}%+ −
\addcontentsline{toc}{#1}{%+ −
\ifnum #2>\c@secnumdepth \else+ −
\protect\numberline{\csname the#1\endcsname}%+ −
\fi+ −
#7}%+ −
\else+ −
\def\@svsechd{%+ −
#6{\hskip #3\relax+ −
\@svsec #8}%+ −
\csname #1mark\endcsname{#7}%+ −
\addcontentsline{toc}{#1}{%+ −
\ifnum #2>\c@secnumdepth \else+ −
\protect\numberline{\csname the#1\endcsname}%+ −
\fi+ −
#7}}%+ −
\fi+ −
\@xsect{#5}}+ −
\def\@seccntformat#1{\csname the#1\endcsname}+ −
\def\@biblabel#1{\textcolor{darkgray}{\sffamily\bfseries#1}}+ −
\def\copyrightline{%+ −
\ifx\@serieslogo\@empty+ −
\else+ −
\setbox\@tempboxa\hbox{\includegraphics[height=42\p@]{\@serieslogo}}%+ −
\rlap{\hspace\textwidth\hspace{-\wd\@tempboxa}\hspace{\z@}%+ −
\vtop to\z@{\vskip-0mm\unhbox\@tempboxa\vss}}%+ −
\fi+ −
\scriptsize+ −
\vtop{\hsize\textwidth+ −
\nobreakspace\\+ −
\@Copyright+ −
\ifx\@Event\@empty\else\@Event.\\\fi+ −
\ifx\@Editors\@empty\else+ −
\@Eds: \@Editors+ −
; pp. \thepage--\pageref{LastPage}%+ −
\\+ −
\fi+ −
\setbox\@tempboxa\hbox{\includegraphics[height=14\p@,trim=0 15 0 0]{lipics-logo-bw}}%+ −
\hspace*{\wd\@tempboxa}\enskip+ −
\href{http://www.dagstuhl.de/lipics/}%+ −
{Leibniz International Proceedings in Informatics}\\+ −
\smash{\unhbox\@tempboxa}\enskip+ −
\href{http://www.dagstuhl.de}%+ −
{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, Dagstuhl Publishing, Germany}}}+ −
\def\ps@plain{\let\@mkboth\@gobbletwo+ −
\let\@oddhead\@empty+ −
\let\@evenhead\@empty+ −
\let\@evenfoot\copyrightline+ −
\let\@oddfoot\copyrightline}+ −
\def\lipics@opterrshort{Option "\CurrentOption" not supported}+ −
\def\lipics@opterrlong{The option "\CurrentOption" from article.cls is not supported by lipics.cls.}+ −
\DeclareOption{a5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{b5paper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{legalpaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{executivepaper}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{landscape}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{10pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{11pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{12pt}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{oneside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{twoside}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{titlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{notitlepage}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{onecolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{twocolumn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{fleqn}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{openbib}{\@latexerr{\lipics@opterrshort}{\lipics@opterrlong}}+ −
\DeclareOption{a4paper}{\PassOptionsToClass{\CurrentOption}{article}+ −
\advance\hoffset-2.95mm+ −
\advance\voffset8.8mm}+ −
\DeclareOption{numberwithinsect}{\let\numberwithinsect\relax}+ −
\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}+ −
\ProcessOptions+ −
\LoadClass[twoside,notitlepage,fleqn]{article}+ −
\renewcommand\normalsize{%+ −
\@setfontsize\normalsize\@xpt{13}%+ −
\abovedisplayskip 10\p@ \@plus2\p@ \@minus5\p@+ −
\abovedisplayshortskip \z@ \@plus3\p@+ −
\belowdisplayshortskip 6\p@ \@plus3\p@ \@minus3\p@+ −
\belowdisplayskip \abovedisplayskip+ −
\let\@listi\@listI}+ −
\normalsize+ −
\renewcommand\small{%+ −
\@setfontsize\small\@ixpt{11.5}%+ −
\abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@+ −
\abovedisplayshortskip \z@ \@plus2\p@+ −
\belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@+ −
\def\@listi{\leftmargin\leftmargini+ −
\topsep 4\p@ \@plus2\p@ \@minus2\p@+ −
\parsep 2\p@ \@plus\p@ \@minus\p@+ −
\itemsep \parsep}%+ −
\belowdisplayskip \abovedisplayskip+ −
}+ −
\renewcommand\footnotesize{%+ −
\@setfontsize\footnotesize{8.5}{9.5}%+ −
\abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@+ −
\abovedisplayshortskip \z@ \@plus\p@+ −
\belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@+ −
\def\@listi{\leftmargin\leftmargini+ −
\topsep 3\p@ \@plus\p@ \@minus\p@+ −
\parsep 2\p@ \@plus\p@ \@minus\p@+ −
\itemsep \parsep}%+ −
\belowdisplayskip \abovedisplayskip+ −
}+ −
\renewcommand\large{\@setfontsize\large{10.5}{13}}+ −
\renewcommand\Large{\@setfontsize\Large{12}{14}}+ −
\setlength\parindent{1.5em}+ −
\setlength\headheight{3mm}+ −
\setlength\headsep {10mm}+ −
\setlength\footskip{3mm}+ −
\setlength\textwidth{140mm}+ −
\setlength\textheight{222mm}+ −
\setlength\oddsidemargin{32mm}+ −
\setlength\evensidemargin{38mm}+ −
\setlength\marginparwidth{25mm}+ −
\setlength\topmargin{13mm}+ −
\setlength{\skip\footins}{2\baselineskip \@plus 4\p@ \@minus 2\p@}+ −
\def\@listi{\leftmargin\leftmargini+ −
\parsep\z@ \@plus\p@+ −
\topsep 8\p@ \@plus2\p@ \@minus4\p@+ −
\itemsep \parsep}+ −
\let\@listI\@listi+ −
\@listi+ −
\def\@listii {\leftmargin\leftmarginii+ −
\labelwidth\leftmarginii+ −
\advance\labelwidth-\labelsep+ −
\topsep 4\p@ \@plus2\p@ \@minus\p@+ −
\parsep\z@ \@plus\p@+ −
\itemsep \parsep}+ −
\def\@listiii{\leftmargin\leftmarginiii+ −
\labelwidth\leftmarginiii+ −
\advance\labelwidth-\labelsep+ −
\topsep 2\p@ \@plus\p@\@minus\p@+ −
\parsep \z@+ −
\partopsep \p@ \@plus\z@ \@minus\p@+ −
\itemsep \z@ \@plus\p@}+ −
\def\ps@headings{%+ −
\def\@evenhead{\large\sffamily\bfseries+ −
\llap{\hbox to0.5\oddsidemargin{\thepage\hss}}\leftmark\hfil}%+ −
\def\@oddhead{\large\sffamily\bfseries\rightmark\hfil+ −
\rlap{\hbox to0.5\oddsidemargin{\hss\thepage}}}%+ −
\def\@oddfoot{\hfil+ −
\rlap{%+ −
\vtop{%+ −
\vskip10mm+ −
\colorbox[rgb]{0.99,0.78,0.07}+ −
{\@tempdima\evensidemargin+ −
\advance\@tempdima1in+ −
\advance\@tempdima\hoffset+ −
\hb@xt@\@tempdima{%+ −
\textcolor{darkgray}{\normalsize\sffamily+ −
\bfseries\quad+ −
\expandafter\textsolittle+ −
\expandafter{\@EventShortName}}%+ −
\strut\hss}}}}}+ −
\let\@evenfoot\@empty+ −
\let\@mkboth\markboth+ −
\let\sectionmark\@gobble+ −
\let\subsectionmark\@gobble}+ −
\pagestyle{headings}+ −
\renewcommand\maketitle{\par+ −
\begingroup+ −
\renewcommand\thefootnote{\@fnsymbol\c@footnote}%+ −
\if@twocolumn+ −
\ifnum \col@number=\@ne+ −
\@maketitle+ −
\else+ −
\twocolumn[\@maketitle]%+ −
\fi+ −
\else+ −
\newpage+ −
\global\@topnum\z@ % Prevents figures from going at top of page.+ −
\@maketitle+ −
\fi+ −
\thispagestyle{plain}\@thanks+ −
\endgroup+ −
\setcounter{footnote}{0}%+ −
\global\let\thanks\relax+ −
\global\let\maketitle\relax+ −
\global\let\@maketitle\relax+ −
\global\let\@thanks\@empty+ −
\global\let\@author\@empty+ −
\global\let\@date\@empty+ −
\global\let\@title\@empty+ −
\global\let\title\relax+ −
\global\let\author\relax+ −
\global\let\date\relax+ −
\global\let\and\relax+ −
}+ −
\newwrite\tocfile+ −
\def\@maketitle{%+ −
\newpage+ −
\null\vskip-\baselineskip+ −
\vskip-\headsep+ −
\@titlerunning+ −
\@authorrunning+ −
\let \footnote \thanks+ −
\parindent\z@ \raggedright+ −
{\LARGE\sffamily\bfseries\mathversion{bold}\@title \par}%+ −
\vskip 1.5em%+ −
\ifnum\c@authors=0 %+ −
\@latexerr{No \noexpand\author given}%+ −
{Provide at least one author. See the LIPIcs class documentation.}%+ −
\else+ −
\@author+ −
\fi+ −
\bgroup+ −
\let\footnote\@gobble+ −
\immediate\openout\tocfile=\jobname.vtc+ −
\protected@write\tocfile{}{%+ −
\string\contitem+ −
\string\title{\@title}%+ −
\string\author{\AB@authfortoc}%+ −
\string\page{\thepage}}%+ −
\closeout\tocfile+ −
\egroup+ −
\par}+ −
\setcounter{secnumdepth}{4}+ −
\renewcommand\section{\@startsection {section}{1}{\z@}%+ −
{-3.5ex \@plus -1ex \@minus -.2ex}%+ −
{2.3ex \@plus.2ex}%+ −
{\sffamily\Large\bfseries\raggedright}}+ −
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%+ −
{-3.25ex\@plus -1ex \@minus -.2ex}%+ −
{1.5ex \@plus .2ex}%+ −
{\sffamily\Large\bfseries\raggedright}}+ −
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%+ −
{-3.25ex\@plus -1ex \@minus -.2ex}%+ −
{1.5ex \@plus .2ex}%+ −
{\sffamily\Large\bfseries\raggedright}}+ −
\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%+ −
{-3.25ex \@plus-1ex \@minus-.2ex}%+ −
{1.5ex \@plus .2ex}%+ −
{\sffamily\large\bfseries\raggedright}}+ −
\renewcommand\subparagraph{\@startsection{subparagraph}{5}{\z@}%+ −
{3.25ex \@plus1ex \@minus .2ex}%+ −
{-1em}%+ −
{\sffamily\normalsize\bfseries}}+ −
\setlength\leftmargini \parindent+ −
\setlength\leftmarginii {1.2em}+ −
\setlength\leftmarginiii{1.2em}+ −
\setlength\leftmarginiv {1.2em}+ −
\setlength\leftmarginv {1.2em}+ −
\setlength\leftmarginvi {1.2em}+ −
\renewcommand\labelenumi{%+ −
\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumi.}}+ −
\renewcommand\labelenumii{%+ −
\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumii.}}+ −
\renewcommand\labelenumiii{%+ −
\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiii.}}+ −
\renewcommand\labelenumiv{%+ −
\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}\theenumiv.}}+ −
\renewcommand\labelitemi{%+ −
\textcolor[rgb]{0.6,0.6,0.61}{\ifnum\@listdepth=\@ne+ −
\rule{0.67em}{0.33em}%+ −
\else+ −
\rule{0.45em}{0.225em}%+ −
\fi}}+ −
\renewcommand\labelitemii{%+ −
\textcolor[rgb]{0.6,0.6,0.61}{\rule{0.45em}{0.225em}}}+ −
\renewcommand\labelitemiii{%+ −
\textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textasteriskcentered}}+ −
\renewcommand\labelitemiv{%+ −
\textcolor[rgb]{0.6,0.6,0.61}{\sffamily\bfseries\textperiodcentered}}+ −
\renewenvironment{description}+ −
{\list{}{\advance\partopsep\topsep\topsep\z@\@plus\p@+ −
\labelwidth\z@ \itemindent-\leftmargin+ −
\let\makelabel\descriptionlabel}}+ −
{\ifnum\@listdepth=\@ne\global\@nobotseplisttrue\fi\endlist}+ −
\renewcommand*\descriptionlabel[1]{%+ −
\hspace\labelsep\textcolor{darkgray}{\sffamily\bfseries\mathversion{bold}#1}}+ −
\renewenvironment{abstract}{%+ −
\vskip\bigskipamount+ −
\noindent+ −
\rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%+ −
\hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%+ −
\large\selectfont\sffamily\bfseries\abstractname}}%+ −
\vskip3\p@+ −
\fontsize{9.5}{12.5}\selectfont+ −
\noindent\ignorespaces}+ −
{\ifx\@subjclass\@empty\else+ −
\vskip\baselineskip\noindent+ −
\subjclassHeading\@subjclass+ −
\fi+ −
\ifx\@keywords\@empty\else+ −
\vskip\baselineskip\noindent+ −
\keywordsHeading\@keywords+ −
\fi+ −
\ifx\@DOI\@empty\else+ −
\vskip\baselineskip\noindent+ −
\doiHeading\doi{\@DOI}%+ −
\fi}+ −
\renewenvironment{thebibliography}[1]+ −
{\if@noskipsec \leavevmode \fi+ −
\par+ −
\@tempskipa-3.5ex \@plus -1ex \@minus -.2ex\relax+ −
\@afterindenttrue+ −
\@tempskipa -\@tempskipa \@afterindentfalse+ −
\if@nobreak+ −
\everypar{}%+ −
\else+ −
\addpenalty\@secpenalty\addvspace\@tempskipa+ −
\fi+ −
\noindent+ −
\rlap{\color[rgb]{0.51,0.50,0.52}\vrule\@width\textwidth\@height1\p@}%+ −
\hspace*{7mm}\fboxsep1.5mm\colorbox[rgb]{1,1,1}{\raisebox{-0.4ex}{%+ −
\normalsize\sffamily\bfseries\refname}}%+ −
\@xsect{1ex \@plus.2ex}%+ −
\list{\@biblabel{\@arabic\c@enumiv}}%+ −
{\leftmargin8.5mm+ −
\labelsep\leftmargin+ −
\settowidth\labelwidth{\@biblabel{#1}}%+ −
\advance\labelsep-\labelwidth+ −
\usecounter{enumiv}%+ −
\let\p@enumiv\@empty+ −
\renewcommand\theenumiv{\@arabic\c@enumiv}}%+ −
\fontsize{9.5}{12.5}\selectfont+ −
\sloppy+ −
\clubpenalty4000+ −
\@clubpenalty \clubpenalty+ −
\widowpenalty4000%+ −
\sfcode`\.\@m}+ −
{\def\@noitemerr+ −
{\@latex@warning{Empty `thebibliography' environment}}%+ −
\endlist}+ −
\renewcommand\footnoterule{%+ −
\kern-8\p@+ −
{\color[rgb]{0.60,0.60,0.61}\hrule\@width40mm\@height1\p@}%+ −
\kern6.6\p@}+ −
\renewcommand\@makefntext[1]{%+ −
\parindent\z@\hangindent1em+ −
\leavevmode+ −
\hb@xt@1em{\@makefnmark\hss}#1}+ −
\usepackage[utf8]{inputenc}+ −
\IfFileExists{lmodern.sty}{\RequirePackage{lmodern}}{}+ −
\RequirePackage[T1]{fontenc}+ −
\RequirePackage{textcomp}+ −
\RequirePackage[mathscr]{eucal}+ −
\RequirePackage{amssymb}+ −
\RequirePackage{soul}+ −
\sodef\textsolittle{}{.12em}{.5em\@plus.08em\@minus.06em}%+ −
{.4em\@plus.275em\@minus.183em}+ −
\RequirePackage{color}+ −
\definecolor{darkgray}{rgb}{0.31,0.31,0.33}+ −
\RequirePackage{babel}+ −
\RequirePackage[tbtags,fleqn]{amsmath}+ −
\RequirePackage{amsthm}+ −
\thm@headfont{%+ −
\textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily\bfseries}+ −
\def\th@remark{%+ −
\thm@headfont{%+ −
\textcolor{darkgray}{$\blacktriangleright$}\nobreakspace\sffamily}%+ −
\normalfont % body font+ −
\thm@preskip\topsep \divide\thm@preskip\tw@+ −
\thm@postskip\thm@preskip+ −
}+ −
\def\@endtheorem{\endtrivlist}%\@endpefalse+ −
\renewcommand\qedsymbol{\textcolor{darkgray}{\ensuremath{\blacktriangleleft}}}+ −
\renewenvironment{proof}[1][\proofname]{\par+ −
\pushQED{\qed}%+ −
\normalfont \topsep6\p@\@plus6\p@\relax+ −
\trivlist+ −
\item[\hskip\labelsep+ −
\color{darkgray}\sffamily\bfseries+ −
#1\@addpunct{.}]\ignorespaces+ −
}{%+ −
\popQED\endtrivlist%\@endpefalse+ −
}+ −
\theoremstyle{plain}+ −
\newtheorem{theorem}{Theorem}+ −
\newtheorem{lemma}[theorem]{Lemma}+ −
\newtheorem{corollary}[theorem]{Corollary}+ −
\theoremstyle{definition}+ −
\newtheorem{definition}[theorem]{Definition}+ −
\newtheorem{example}[theorem]{Example}+ −
\theoremstyle{remark}+ −
\newtheorem*{remark}{Remark}+ −
\ifx\numberwithinsect\relax+ −
\@addtoreset{theorem}{section}+ −
\edef\thetheorem{\expandafter\noexpand\thesection\@thmcountersep\@thmcounter{theorem}}+ −
\fi+ −
\RequirePackage{graphicx}+ −
\RequirePackage{array}+ −
\let\@classzold\@classz+ −
\def\@classz{%+ −
\expandafter\ifx\d@llarbegin\begingroup+ −
\toks \count@ =+ −
\expandafter{\expandafter\small\the\toks\count@}%+ −
\fi+ −
\@classzold}+ −
\RequirePackage{multirow}+ −
\RequirePackage{tabularx}+ −
\RequirePackage[online]{threeparttable}+ −
\def\TPTtagStyle#1{#1)}+ −
\def\tablenotes{\small\TPT@defaults+ −
\@ifnextchar[\TPT@setuptnotes\TPTdoTablenotes} % ]+ −
\RequirePackage{listings}+ −
\lstset{basicstyle=\small\ttfamily,%+ −
backgroundcolor=\color[rgb]{0.85,0.85,0.86},%+ −
frame=single,framerule=0pt,xleftmargin=\fboxsep,xrightmargin=\fboxsep}+ −
\RequirePackage{lastpage}+ −
\IfFileExists{doi.sty}+ −
{\RequirePackage{doi}%+ −
\renewcommand*{\doitext}{}}+ −
{\RequirePackage{hyperref}%+ −
\def\doi##1{##1}}+ −
\hypersetup{pdfborder={0 0 0}}+ −
\RequirePackage[labelsep=space,singlelinecheck=false,%+ −
font={up,small},labelfont={sf,bf},%+ −
listof=false]{caption}%"listof" instead of "list" for backward compatibility+ −
\@ifpackagelater{hyperref}{2009/12/09}+ −
{\captionsetup{compatibility=false}}%cf. http://groups.google.de/group/comp.text.tex/browse_thread/thread/db9310eb540fbbd8/42e30f3b7b3aa17a?lnk=raot+ −
{}+ −
\DeclareCaptionLabelFormat{boxed}{%+ −
\kern0.05em{\color[rgb]{0.99,0.78,0.07}\rule{0.73em}{0.73em}}%+ −
\hspace*{0.67em}\bothIfFirst{#1}{~}#2}+ −
\captionsetup{labelformat=boxed}+ −
\captionsetup[table]{position=top}+ −
\RequirePackage[figuresright]{rotating}+ −
\RequirePackage{subfig}+ −
\def\titlerunning#1{\gdef\@titlerunning{{\let\footnote\@gobble\markboth{#1}{#1}}}}+ −
\def\authorrunning#1{%+ −
\gdef\@authorrunning{\expandafter\def\expandafter\@tempa\expandafter{#1}%+ −
\ifx\@tempa\@empty\else\markright{#1}\fi}}+ −
\titlerunning{\@title}+ −
\authorrunning{\AB@authrunning}+ −
\newcommand*\volumeinfo[6]{%+ −
{\gdef\@Editors{#1}%+ −
\gdef\@Eds{Editor}\ifnum #2>1 \gdef\@Eds{Editors}\fi+ −
\gdef\@Event{#3}%+ −
\setcounter{page}{#6}}}+ −
\volumeinfo{}{1}{}{}{}{1}+ −
\RequirePackage{authblk}+ −
\renewcommand*\Authand{{ and }}+ −
\renewcommand*\Authfont{\Large\bfseries\mathversion{bold}}+ −
\renewcommand*\AB@authnote[1]{\textsuperscript{#1}}+ −
\renewcommand*\AB@affilnote[1]{\protect\item[#1]}+ −
\renewcommand*\Affilfont{\fontsize{9.5}{12}\selectfont}+ −
\setlength\affilsep{\baselineskip}+ −
\newcommand\AB@authrunning{}+ −
\newcommand\AB@authfortoc{}+ −
\renewcommand\author[2][]%+ −
{\ifnewaffil\addtocounter{affil}{1}%+ −
\edef\AB@thenote{\arabic{affil}}\fi+ −
\if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%+ −
\setcounter{Maxaffil}{0}\fi+ −
\ifnum\value{authors}>1\relax+ −
\@namedef{@sep\number\c@authors}{\Authsep}\fi+ −
\addtocounter{authors}{1}%+ −
\begingroup+ −
\let\protect\@unexpandable@protect \let\and\AB@pand+ −
\def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%+ −
\@temptokena=\expandafter{\AB@authors}%+ −
{\def\\{\protect\\[\@affilsep]\protect\Affilfont+ −
\protect\AB@resetsep}%+ −
\xdef\AB@author{\AB@blk@and#2}%+ −
\ifnewaffil\gdef\AB@las{}\gdef\AB@lasx{\protect\Authand}\gdef\AB@as{}%+ −
\xdef\AB@authors{\the\@temptokena\AB@blk@and}%+ −
\else+ −
\xdef\AB@authors{\the\@temptokena\AB@as\AB@au@str}%+ −
\global\let\AB@las\AB@lasx\gdef\AB@lasx{\protect\Authands}%+ −
\gdef\AB@as{\Authsep}%+ −
\fi+ −
\gdef\AB@au@str{#2}}%+ −
\@temptokena=\expandafter{\AB@authlist}%+ −
\let\\=\authorcr+ −
\xdef\AB@authlist{\the\@temptokena+ −
\protect\@nameuse{@sep\number\c@authors}%+ −
\protect\Authfont#2\AB@authnote{\AB@note}}%+ −
%new+ −
\@temptokena=\expandafter{\AB@authrunning}%+ −
\let\\=\authorcr+ −
\xdef\AB@authrunning{\the\@temptokena+ −
\protect\@nameuse{@sep\number\c@authors}#2}%+ −
%+ −
%new+ −
\@temptokena=\expandafter{\AB@authfortoc}%+ −
\let\\=\authorcr+ −
\xdef\AB@authfortoc{\the\@temptokena+ −
\expandafter\noexpand\csname @sep\number\c@authors\endcsname#2}%+ −
%+ −
\endgroup+ −
\ifnum\value{authors}>2\relax+ −
\@namedef{@sep\number\c@authors}{\Authands}\fi+ −
\newaffilfalse+ −
}+ −
\renewcommand\affil[2][]%+ −
{\newaffiltrue\let\AB@blk@and\AB@pand+ −
\if\relax#1\relax\def\AB@note{\AB@thenote}\else\def\AB@note{#1}%+ −
\setcounter{Maxaffil}{0}\fi+ −
\begingroup+ −
\let\protect\@unexpandable@protect+ −
\def\thanks{\protect\thanks}\def\footnote{\protect\footnote}%+ −
\@temptokena=\expandafter{\AB@authors}%+ −
{\def\\{\protect\\\protect\Affilfont}\xdef\AB@temp{#2}}%+ −
\xdef\AB@authors{\the\@temptokena\AB@las\AB@au@str+ −
\protect\\[\affilsep]\protect\Affilfont\AB@temp}%+ −
\gdef\AB@las{}\gdef\AB@au@str{}%+ −
{\xdef\AB@temp{#2}}%+ −
\@temptokena=\expandafter{\AB@affillist}%+ −
\xdef\AB@affillist{\the\@temptokena \AB@affilsep+ −
\AB@affilnote{\AB@note}\protect\Affilfont\AB@temp}%+ −
\endgroup+ −
\let\AB@affilsep\AB@affilsepx}+ −
\renewcommand\@author{\ifx\AB@affillist\AB@empty\AB@authrunning\else+ −
\ifnum\value{affil}>\value{Maxaffil}\def\rlap##1{##1}%+ −
\AB@authlist\\[\affilsep]+ −
\labelwidth1.5em\labelsep\z@\leftmargini\labelwidth+ −
\edef\@enumctr{enumi}%+ −
\list\theenumi{\usecounter\@enumctr\def\makelabel##1{\rlap{##1}\hss}}%+ −
\AB@affillist+ −
\endlist+ −
\else \AB@authors\fi\fi}+ −
\newcommand*\Copyright[1]{%+ −
\def\@Copyright{%+ −
\setbox\@tempboxa\hbox{\includegraphics[height=14\p@,clip]{cc-by}}%+ −
\hspace*{\wd\@tempboxa}\enskip\ifx#1\@empty \else \textcopyright\ #1;\\\fi+ −
\href{http://creativecommons.org/licenses/by/3.0/}%+ −
{\smash{\unhbox\@tempboxa}}\enskip+ −
licensed under Creative Commons License CC-BY\\+ −
}}+ −
\Copyright{\@empty}+ −
\def\keywords#1{\def\@keywords{#1}}+ −
\let\@keywords\@empty+ −
\def\keywordsHeading{%+ −
\textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries+ −
Keywords and phrases\enskip}}+ −
\def\subjclass#1{\gdef\@subjclass{#1}}+ −
\let\@subjclass\@empty+ −
\def\subjclassHeading{%+ −
\textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries+ −
1998 ACM Subject Classification\enskip}}+ −
\def\doiHeading{%+ −
\textcolor{darkgray}{\fontsize{9.5}{12.5}\sffamily\bfseries+ −
Digital Object Identifier\enskip}}+ −
\def\serieslogo#1{\gdef\@serieslogo{#1}}+ −
\serieslogo{}+ −
\def\EventShortName#1{\gdef\@EventShortName{#1}}+ −
\EventShortName{}+ −
\def\DOI#1{\gdef\@DOI{#1}}+ −
\DOI{}+ −
\endinput+ −
%%+ −
%% End of file `lipics.cls'.+ −